ppose 912*t = 938*t. Is 2/5531 not equal to t?
True
Let q be (-4)/(-20)*0/((-5)/(-1)). Suppose d + 4 = -3*d. Let a be (-1)/(q + d/(-5)). Is a equal to -0.6?
False
Suppose -4*y - 4614 = -2*z, 19*z - 21*z - 3478 = 3*y. Are -3467/3 and y equal?
False
Let h = -2047 - -2037.51. Let n = h - -0.49. Which is greater: 3/5 or n?
3/5
Suppose 5*v + 23 = -2*m, 2*v + 11 = -2*m + v. Let h = 14102 + -493656/35. Let l = h - 3/70. Is m equal to l?
False
Let i be (-43)/(-258) + (2 - 26/12). Which is bigger: 6/401 or i?
6/401
Let w be (-2)/7*308/(-22). Let q be (-2)/(-10) + w + 263/(-65). Which is smaller: q or -1?
-1
Suppose 22*h - 29 = 433. Suppose 2*n + h*u - 24*u = -19, 3*u = 3*n + 36. Which is smaller: n or -16?
n
Let l be 81*(6/16 - (-359)/24). Let s be (13/91)/(l/(-21)). Which is greater: s or -1?
s
Let j = -143/17 + 7957/952. Let z = j - -43/56. Let s = z - 59/63. Is s at least as big as 1?
False
Suppose -29*i + 10664 = -27*i - 33*i. Which is smaller: -303 or i?
i
Let d = 190 - 173. Let z(p) = -p**3 + 18*p**2 - 13*p - 23. Let r be z(d). Is 47 at least as big as r?
True
Let w be (820/6)/(8 + (-1305)/162). Which is smaller: -2461 or w?
-2461
Let n = -46.32 - -0.32. Let z = n - -41.7. Let a = z + 19.3. Which is greater: 0 or a?
a
Let n(s) = -2*s - 21. Let q = 28 - -20. Suppose -16 = -3*i + y - q, 48 = -4*i - 4*y. Let r be n(i). Which is smaller: 5 or r?
r
Let v = -42.84 + 44.24. Is v bigger than -0.08?
True
Let v be 4/10 + 2028/(-120). Suppose -5*r - 224 = -2*x, 2*r - 2*x - x + 94 = 0. Let g = -62 - r. Which is smaller: g or v?
g
Let s = 3055 - 3056. Which is smaller: s or -2/943?
s
Let q be 6/(-7) + (-5 - 8) + 45010/(-882). Does -65 = q?
False
Let q be -2 + 0 + 32610/5 + (-20 - -17). Is q less than or equal to 6517?
True
Suppose -8*m + 10*m = -r - 30, 15 = -m + 4*r. Let n be (-4 - (-789)/(-21)) + m/35. Which is smaller: n or -41?
n
Suppose i = 4*i. Let q = 531 + -308. Let g = q + -199. Which is smaller: g or i?
i
Let m be 2/(-13) + 55/(-65). Are m and 1/2371 non-equal?
True
Let p be (1296/60)/(-18)*90/12. Is p greater than -341/36?
True
Suppose -5*j - 2 = q, -5*j + 0*j = 5. Suppose q*k - k - 2 = 0. Let c be 9600/3150 - 3*1. Which is smaller: c or k?
c
Let u = -94 + 94. Let x be (-6985)/(-1749) + (-9 - -5). Is u greater than or equal to x?
True
Let t = -2/11493 - -138038/701073. Let o = 24 - 23. Is o <= t?
False
Let c = -1202.2 - -228.2. Let j = 973.8 + c. Which is greater: j or -45?
j
Let c = 47438 + -26138328/551. Is 1 at least as big as c?
True
Suppose -4*v + 160 = m + m, -40 = -v + 5*m. Let q be (-40 + v)*(1*-1)/1. Let z = 123/230 - -3/46. Do z and q have the same value?
False
Let d(f) = -6*f**3 + 11*f**2 - 25*f + 40. Let i be d(9). Let j = i - -18252/5. Let x be 1/(37/19 + -2). Is x at most as big as j?
True
Let q = -209/225 - -1254497/1346175. Is 0 bigger than q?
False
Let j = 3070 + -3070.2. Which is bigger: 21 or j?
21
Let g be ((-138)/(-8) - 12)/((-7)/(-4)). Let q = -55 - -433/8. Do g and q have different values?
True
Suppose -3*a + 3*d = 0, -a = -0*d - 2*d. Which is greater: -1/1816 or a?
a
Suppose 7*w = -3*w + 130. Let o be (4/(-22))/(w/52). Which is greater: o or -1?
o
Let d(p) = 35*p - 2171. Let n be d(57). Which is smaller: -3 or n?
n
Let o(k) = -7*k - 154. Let g be o(-20). Let m be 6/(-24) - g - (0 + 5). Are m and 1/3 non-equal?
True
Let p = -2490 - -2490. Which is smaller: 3/10751 or p?
p
Let a be (-67680)/(-33370) - 2/1. Is a less than or equal to -1.47?
False
Let u = -103 + 145. Let a be (7 + 150/2)*(-2)/4. Let s = u + a. Is s < -2/9?
False
Let d(n) = 2*n + 6. Let j be d(-7). Let z be 2/j - 3/(-28). Let s(r) = -177*r + 1950. Let q be s(11). Which is smaller: z or q?
z
Suppose -18*m + 15*m = 0. Suppose m = -0*k + 20*k + 5440. Do -271 and k have the same value?
False
Let p = 9 + -4. Suppose 0 = -3*i - 214 + 202, -2*t + i + 58 = 0. Suppose -5*d + 25 = 5*o, -p*o = -o - 3*d - t. Is o greater than or equal to -1/3?
True
Suppose x = 8, 4*x - 70 + 15 = -d. Which is smaller: d or -19.9?
-19.9
Suppose 264 - 268 = 4*v + 3*l, -5*l = -2*v - 2. Which is greater: v or 1/22703?
1/22703
Let b = 2640 - 2641. Is -30/23 >= b?
False
Let y(d) = -2*d**2 - 4*d - 4. Suppose -12 = 4*o - 2*o. Let g be y(o). Let a = -48 - g. Which is bigger: 9/2 or a?
9/2
Let n be 6/(-27) - 24079/(-99). Let y = 220 - n. Is 4 at most as big as y?
False
Let x = -2 - -3. Let d(p) = -58*p + 58. Let b be d(1). Is x smaller than b?
False
Let n(x) = x**3 - 5*x**2 - 2*x - 14. Let z be n(6). Suppose z*u = 34*u. Is -1/141 != u?
True
Let t = 34291.031 + -34325. Let u = 0.031 - t. Let f = -33 + u. Is f less than or equal to 6/11?
False
Let b be -4*(-4)/8 + 370587/4050. Let c = b + -2/675. Let y = c - 86. Is y < 9?
True
Let h = -196/657 + -4848602/4599. Which is greater: h or -1056?
h
Let u(h) = -h**3 + 12*h**2 + 30*h - 2. Let o be u(14). Suppose 6*r - 512 = -o*r. Is r < 67/4?
True
Let p = -48.14 - -27.15. Let d = p + 9.79. Is 0.1 at least as big as d?
True
Let q(b) = -6 - 35 + 19 - 3*b. Suppose 2*k + 9 = -5*n - 4, -1 = -n. Let i be q(k). Is i >= 7?
False
Let w be 6 + (-110*3)/11. Which is bigger: w or -250/11?
-250/11
Suppose 4*w - d = -37, w + 4*d = d - 19. Let o = w - -5. Let l be (-18)/(-21) - 1 - 567/147. Which is greater: o or l?
l
Let l = 34424 - 33885. Which is greater: 565 or l?
565
Let j(a) = 44 - 74*a + 62 + 69*a. Let p be j(6). Is 0 greater than p?
False
Let w be (-7042)/(-42) - 2/3. Let j = -264 + w. Is j at least -98?
True
Suppose 0*l = -l. Let t = -66748 - -22227082/333. Which is bigger: t or l?
l
Suppose 4 = 2*w - 6. Suppose 4*g = -3*m + 5*m + 1380, -3*m = -6. Let k = g + -342. Is k greater than or equal to w?
False
Let c = -205 - -121. Let w = 118 + c. Let r = w - 34.08. Is r not equal to 0?
True
Suppose 0 = -y + 5*c - 131, -29*c + 31*c = -12. Which is smaller: y or -168?
-168
Let q = 1058 - 1128. Which is greater: q or 4?
4
Let q(o) = 8*o - 35. Let k be q(16). Suppose h - 4*h = k. Let c = -31 - h. Which is smaller: 2/25 or c?
c
Suppose 1 = -c - 2. Suppose 18 = 8*p - 30, 4*p = t + 26. Which is smaller: t or c?
c
Let i = -5.27 + 0.87. Let f = i - 4.6. Is f smaller than -0.7?
True
Let f = -122 + 122.199. Let c = 0.731 + f. Let a = -0.07 - c. Is 0.3 greater than or equal to a?
True
Let j be ((-2)/1)/((-9931220)/(-1655225) - (7 - 1)). Is 25466 greater than j?
True
Let r(c) = 12*c + 1. Suppose -3*z + 8*z - 18 = 2*x, -5*z = 5*x - 25. Let w be r(x). Let t be 8/16*2*14. Is w greater than or equal to t?
False
Let a = 883309/213 + -4147. Let o(h) = 4*h - 84. Let s be o(21). Is s at least a?
True
Let p be 2/(-6)*(0 - -3). Let o = -2761676/11 - -251060. Which is greater: o or p?
p
Suppose 0 = -156*a + 158*a. Suppose 0 = 3*x + 35 + 58. Let u be x/((-2)/((-6)/(-3))). Which is smaller: a or u?
a
Let z = -149.9331 + -0.0669. Let a = z - -74. Is 0 at most a?
False
Let v = -1961 + 2070. Which is greater: 168 or v?
168
Suppose 5*z - 23 = 6*r - 4*r, -4*z = 3*r. Let g be (-1)/(((-1)/z)/(1/15)). Is g greater than or equal to -42?
True
Let z be 10/(-4)*(22 - 0). Suppose b - 4*i = -21, 143 = -3*b - 463*i + 465*i. Is b at most z?
False
Let y be ((-1)/9)/(2/(-3)). Suppose 2*x - 4*l - 117 = -3*l, 127 = 2*x + l. Let r = -62 + x. Is r at most as big as y?
True
Let f(v) be the second derivative of -9*v**3/2 - 46*v**2 - 2*v - 38. Let u be f(-7). Are u and -3 unequal?
True
Let z be (28/(-16))/(23/(-1104)). Suppose -30 = -19*n + z. Do n and -0.024 have the same value?
False
Let y = -0.0409 - 1143.9591. Which is smaller: y or -0.1?
y
Let a(d) = 6*d**2 + 2*d + 2. Let x(r) = -r**3 - 13*r**2 - 28*r + 19. Let o be x(-10). Let y be a(o). Let z be 5*((-22)/(-10) + -1). Are z and y nonequal?
False
Let l = 1658 + -1430. Are 228 and l non-equal?
False
Suppose 4*a = 11 + 61. Let g = -2.8 + 1.97. Let b = -0.17 + g. Is a at least as big as b?
True
Let o be ((-3)/4563)/((5 + -2)/(-18)). Suppose 0 = 4*t - 5 + 9. Which is smaller: o or t?
t
Let a = 124/7 - 1261/70. Suppose -1 = 2*b - t + 4*t, -4*t - 32 = -5*b. Suppose 3*f - b = -1. Is a less than f?
True
Let f = 119 + -80. Suppose 0 = -37*n + f*n. Let g = -618/5 - -25353/205. Which is greater: g or n?
g
Suppose 2*k - 14 = 5*a, 23*k - 27*k - a = -50. Suppose -229 = -k*m - 37. Which is smaller: m or 0.3?
0.3
Let w(t) = -358*t**2 + 2*t. Let j be w(-2). Let r = j - -12946/9. Le