= 3*v + i - 6. Which is bigger: 2/23 or v?
2/23
Suppose 0 = 25*v + 383 + 67. Are v and 5 nonequal?
True
Let d be (-92 - 2) + (-2180)/(-218). Is d less than -92?
False
Let x be (-12)/(-247890)*((-2 - 2) + (3 - 4)). Which is smaller: x or -1?
-1
Let p = 4495 - 4495. Which is greater: p or 4/59?
4/59
Let w(f) = 158*f**2 - 2349*f - 327. Let i be w(15). Let z(v) = -v**2 - 5*v + 7. Let m be z(-6). Is i at most m?
True
Let h be ((1 - 0) + -2)*-8. Let m = -29842 - -29856. Which is smaller: h or m?
h
Suppose -38*m - 102 = 2*j - 35*m, j = 5*m - 90. Which is bigger: j or -86?
j
Let m = 13824.14 + -13824. Let k(v) = v**2 + 8*v - 2. Let j be k(-9). Suppose j*d = 4*d + 6. Which is smaller: m or d?
m
Let t(d) = 35*d**2 - 349*d - 11. Let k be t(10). Are 1/5718 and k non-equal?
True
Let g be 52/(-169)*(-390)/(-60). Which is greater: 122 or g?
122
Let a be (-15)/25*(7 - 1402) - -4. Is 838 equal to a?
False
Let u = 117 + -121. Let h be (20/30)/((u/15)/2). Is h greater than -29/7?
False
Let b = -283467/5 - -56182. Is b smaller than -510?
True
Let r = -212.06 - -268.06. Is r less than or equal to 49?
False
Let m be (3/(-3 + (-3)/2))/(4/24). Let h = -9/40 + 1/40. Which is bigger: m or h?
h
Let s = -98 - -54. Let v = s - -53. Suppose 2*b - 5*j = v, -b + 3 = -j - 3. Is b greater than 10?
False
Let b = -221 - -222. Let a(o) = -8*o**2 + o. Let l be a(b). Suppose -3*m - 2*m + 5 = -5*n, m = -4*n - 29. Is n <= l?
False
Suppose 4 = -u + 2*p - 11, -2*p + 83 = -5*u. Let z(s) = -6*s - 91. Let o be z(u). Is o at least as big as 6?
True
Suppose -5*i + 39 - 4 = 0. Suppose -i = 10*n - 17. Let q be (-308)/(-6) + n + 1/(-3). Which is bigger: 53 or q?
53
Let r = 84573/80 - 3761451/3560. Let b = r + 10/89. Is b >= 0?
True
Suppose -6*z + 16 = 10. Let u be z + (-65)/(-7) + 28/(-98). Let r(m) = -2*m - 14. Let d be r(-6). Which is greater: d or u?
u
Suppose 19*h + 150219 + 33815 = 0. Is h at most as big as -9686?
True
Suppose -v + 3 + 2 = 5*z, 2*z = -5*v + 2. Let c be 2 - (-2)/(192/15268). Let s = -161 + c. Is z greater than or equal to s?
True
Suppose 4*s - 5*b - 8313 = -0*b, 0 = s + 3*b - 2074. Is 2 greater than s?
False
Let p(g) = 2*g**2 - 14*g + 13. Let a be p(7). Suppose -q = -3*j + 13, -4*j - 3*q = -0*q - a. Is j less than 18/7?
False
Let p = -3023.8 + 3024. Is 11/37 not equal to p?
True
Let c = 170 - 173. Let t be (-2)/c*6/(-14). Let a be 4/22 + 4/(-22). Do t and a have different values?
True
Let j = 17/8 + 11/40. Suppose 4*n = 2*n - 10. Let c be (-2 - -1)*5/n. Is j at most as big as c?
False
Let m be (12/(-9))/(4/(-6)). Suppose 5*u - 7*s = -9*s + 8, -s + 14 = 5*u. Suppose r - 41 = u*d, 2*d + 0*d + 16 = m*r. Which is smaller: -9 or d?
d
Let h = 144 + -46220/321. Let n = -398/19581 - h. Is -1 at least as big as n?
False
Let o be (-4)/(-5)*(-2 - (-38)/4). Let k(j) = 2*j + 1. Let a be k(-3). Let x be ((-20)/25)/((-2)/a). Which is smaller: x or o?
x
Let s = 48.929 + 0.071. Let o = 48.24 - s. Let v = 0.24 - o. Which is smaller: v or -3/16?
-3/16
Let u be 1*((-12318)/30)/(88/20 + -4). Which is bigger: u or -1027?
u
Let l = -1 - -5. Let y be -4*(-2)/l - 14. Suppose b + 27*t = 24*t + 7, -7 = -5*b - t. Which is bigger: y or b?
b
Let l = 10 + -6. Let b = l + -7. Suppose 10*p + 144 - 84 = 0. Which is greater: p or b?
b
Let q be ((-87)/(-24))/(55/(-858)). Which is smaller: q or -58?
-58
Let a = 31786 + -31582.145. Let t = -204 + a. Which is bigger: 1 or t?
1
Let i = 474.8 + -475.4. Let a = -31/9 - -143/45. Which is greater: i or a?
a
Suppose 16*t = 12*t - 36. Let c be 8382/(-99)*t*2/(-4). Which is smaller: -380 or c?
c
Let h(o) = 4*o**3 - 3*o**2 - 6*o - 10. Let a be h(4). Let z = a + -205. Which is bigger: z or -34?
z
Suppose -3*o + 0*o - 39 = -4*v, -4*v = -o - 45. Let k be 24/9*(-27)/v. Let l = -6.8 + 7. Which is greater: l or k?
l
Suppose -14933*f + 23520 = -14949*f. Is -1470 bigger than f?
False
Let y be 1/((-8)/32*-6). Let k = 24.8 + -26.01. Do k and y have different values?
True
Let b(u) be the third derivative of -1/2*u**4 + 4*u**2 + 0*u + 0 - 1/2*u**3 - 1/60*u**5. Let l be b(-12). Is l less than or equal to -4?
False
Let v be (8/(-24))/((-13)/(-11817)). Which is smaller: v or -301?
v
Let o = 137 + -138. Let p be (o/(-1))/(-1 - 2). Which is greater: -1 or p?
p
Let c be -3 - (6/10 + -3 + 0). Suppose -33 = -6*q + 39*q. Is q greater than or equal to c?
False
Suppose -4*x = -2*m + 3937 + 7175, -3*m + 5560 = -2*x. Let d = x - -8216/3. Which is greater: d or -39?
d
Let t = -10746 + 10745.9. Let a be 1/4 - 2859/12. Which is bigger: a or t?
t
Suppose -4*o + 12 = 0, 5*u + 53*o + 11787 = 52*o. Is u < -2357?
True
Let f(p) = 48*p - 401. Let q be f(8). Let n(k) = -3*k**2 - 2*k + 4. Let y be n(2). Which is bigger: q or y?
y
Let g(r) = 2*r**2 - 3*r + 7. Let x be g(0). Suppose -5*n = 4*t - 2 + x, -4 = 4*n + 5*t. Let p be (-1)/(-5) - 86/480. Is n bigger than p?
False
Let d = -584 + 591. Suppose 0 = 2*a - 5*r - 7, 5*r + d = 3*a - 1. Which is smaller: -1/4 or a?
-1/4
Let c = 6 - -3. Let d be (-6)/c + (-14)/(-15). Suppose -7*p - 5*b - 2 = 0, -p - p + 3*b - 5 = 0. Which is greater: d or p?
d
Let i = 91 - 281. Let r be i/(-133) - -3*3/(-9). Is r > 0.1?
True
Suppose 3*m - 27600 = 8*m. Let f be m/24*(-5)/(-2). Which is greater: -576 or f?
f
Let t be -3*5/75*-5. Let l be (t*9/(-6))/(2/24). Let o be l/(-45) + (-44)/85. Are 0 and o equal?
False
Let q(z) = z**3 + 8*z**2 + 12*z + 33. Let a be q(-7). Let s(f) = f**2 - f - 5. Let j be s(3). Let r be 12/8*j/(-3). Is r at least as big as a?
True
Let m = -99341427/44 - -255406500253/113124. Let r = m - -1/2571. Which is greater: r or -3?
r
Let n = -10649 + 11368. Which is bigger: n or 729?
729
Let r be 65/10*(-48)/(-8112). Which is smaller: -4.5 or r?
-4.5
Let f = -3212 - -3239. Suppose -h - 2*s - 24 = 0, 4*s = 4*h + s + 107. Let c = h + f. Is c at most 4?
True
Suppose -l = -2*l - 27. Suppose 5 = -65*s + 60*s. Let p be (8/(-12))/((-395)/405 - s). Is p bigger than l?
False
Let y = -26.463 + 0.163. Let p = y - -27. Let l = -2.5 - p. Which is bigger: -1 or l?
-1
Let h be (2/5)/(-2 - (-11923339)/(-5)). Let i = h + -50876928559/9681759388. Let l = i + 1/203. Is -4 not equal to l?
True
Let w(b) = 5*b**2 + 22*b - 22. Let g be w(-14). Let f = g - 352. Does f = 297?
False
Suppose 6*k = 556 + 302. Let q = -158 + k. Is -21 >= q?
False
Let v(a) = -15*a. Let p be v(-10). Let k = -148 + p. Which is smaller: 4 or k?
k
Let k(n) = -4*n - 18. Let p be k(-8). Suppose 10 = 5*c + 3*w, -4*c = -w - 11 - p. Suppose 0 = -c*x + x + 4. Are x and 3/5 non-equal?
True
Suppose 2*y - 21 = -5*i + 19, 3*y - 4*i = 14. Let h(z) = -14*z + z**2 + 25*z - 29 - y*z + 3. Let s be h(-8). Is 30 at most s?
True
Let w = -2621 + 2616. Do w and 932 have the same value?
False
Let t(j) = 30*j + 12. Let d be t(9). Suppose -25*u = -99*u + 20794. Is u greater than or equal to d?
False
Let z = -2.26 - -3.5. Let f = z - 4.24. Let y be (42/(-112))/(3/(-4)). Is f less than or equal to y?
True
Let i = 64294 + -21602755/336. Which is greater: 1 or i?
1
Let x = -10/5523 - -4849564/204351. Which is greater: 25 or x?
25
Let u = 9064 + -9064.84. Is u greater than -2/7?
False
Let l be -10 + -3*(-57)/19. Are -2/7495 and l unequal?
True
Let b(z) = -2*z**2 - 33*z - 99. Let t be b(-11). Let x be (-2)/(-4)*11*-2. Let o = t + x. Which is greater: o or 10?
o
Suppose -j + 3*o + 117 - 22 = 0, -2*j = 5*o - 245. Let s be j/(-3)*11/(154/21). Which is smaller: s or -54?
s
Let l be (12/105)/((-504)/441). Let u = -2.3 - -3. Let x = -1.3 - u. Which is smaller: l or x?
x
Let n = -212453831/316230 - 4/52705. Let m = -682 - n. Is m greater than -10?
False
Let h = 49 + -46. Let j be h/2*(35/(-15) + -1). Let p(c) = -2*c**2 - 7*c + 17. Let q be p(j). Which is smaller: q or -2?
-2
Let w be 70/(-348) + 8/48. Suppose 6*t - 4 = -58. Let n be (3 + 30/t)*(0 - 3). Which is greater: n or w?
n
Suppose 3*o - 20 - 7 = 0. Let b be ((-43)/3)/((-498)/332). Do o and b have the same value?
False
Let n(k) = k + 1. Suppose -3*r = 5*u - 11, r - 2*u + 7 = -u. Let h be n(r). Let w = -3707/35400 - -93/1475. Which is bigger: h or w?
w
Suppose -29*p - 28652 = 47*p. Is -377 at most p?
True
Let s = -13521 + 13521. Let z be (5/1390)/(1/3). Which is bigger: z or s?
z
Let u(k) = -k**2 - 12*k - 92. Let v be u(19). Which is smaller: -679 or v?
v
Let p = 7372676 - 9326435819/1265.