 53, 4*i + 271 = 3*q. Which is smaller: 98 or q?
q
Suppose 2*f - 53 = -o, 0*o + o + 28 = f. Suppose 0 = 54*k - f*k + 1053. Which is bigger: k or -40?
k
Let k = 2 + -1.9. Let t be 4/264*-12 + (-672)/(-3938). Which is smaller: t or k?
t
Let z be (-75)/(-100)*(-252)/1. Let l be (-162)/z*7/(-2). Are l and -5 nonequal?
True
Let r be (24/32 - (-3)/(-3))/((-840)/75 - -11). Let w be -2 + 10/(0 + 2). Suppose -w*u = u. Is r less than u?
False
Let i = -2037109/327 - -18691/3. Which is smaller: 1 or i?
i
Let m = -2.3 + -11.7. Let j = -148 - -162. Let d = j + m. Which is smaller: d or -0.1?
-0.1
Let o = 2306 + -7114. Is o smaller than -4808?
False
Let d(a) = -16*a + 28*a + 16 - 14*a. Let v be d(-5). Which is greater: v or 24?
v
Suppose 3*k - 8 = -5*s + 4*s, 5*k - 12 = -3*s. Let f be 9/12*((-1085)/(-154) - 7). Is s <= f?
True
Let g = -10103 + 10084. Let y = -0.2 + 0.3. Let h = y + 0. Is g at least h?
False
Let o = 37 - 22. Let t be (20/o)/(4/(-6)) - 0. Let x be (-2)/(-12)*t*(-6)/(-5). Is 0.6 at most x?
False
Let q(a) = -127*a - 1268. Let m be q(-10). Let t be 3*3/3 - 7. Let u = t + 1. Which is bigger: m or u?
m
Let a(c) = -2*c**3 - 40*c**2 + 193*c - 3. Let z be a(4). Which is bigger: 46/551 or z?
z
Let n(k) = -k**2 + 6*k + 77. Let c be n(-6). Suppose c*v + 861 = -3*o, -o + 6*o + 1469 = 3*v. Is o equal to -290?
False
Suppose -10*s + 10 = -90. Let j be 92/(-20) + 6/s. Let w be (3/(45/j))/(22/33). Is w greater than -2/19?
False
Let o(t) = 2*t**2 + 30*t + 29. Let i be o(-14). Let r be (-1)/i*-2 + (-1008)/(-81). Which is greater: 15 or r?
15
Let r be ((-107)/(-5) - 2/5) + -3. Let o be -3 - (-3)/(r/12). Which is bigger: o or -4/17?
-4/17
Let c = 22150 + -22150.1. Is c >= 0.05467?
False
Let r be (-5)/(-110)*-45 - -2. Suppose 36*n - 41*n = -5. Which is bigger: r or n?
n
Suppose 2*c + 4*t = 210, 3*c - 2*t + 42 = 349. Suppose -428 = -3*g - g + 4*b, -4*g = 5*b - 401. Is g at most as big as c?
False
Let g = -8 - -11. Suppose -z = g*z - 1112. Let m = 7504/27 - z. Is m equal to 0.3?
False
Let p = -2021.1 + 2032. Let a = 125 - 116.1. Let s = p - a. Is -2 at most s?
True
Let n be -8 - ((-6)/(-6) - 2) - (4 - 77). Which is smaller: n or -0.28?
-0.28
Suppose 59*l = -33*l + 5*l - 29*l. Suppose -2*o + 4*p - 10 = 22, 0 = p + 4. Is o at most l?
True
Let v = 3122 + -78038/25. Let x(b) = -2*b - 30. Let j be x(-16). Suppose 2*d - 3*n + j = 0, 5*d + 3 = -n - 2. Which is greater: d or v?
v
Let h = -3 + 5. Let l(w) = 2*w + h*w**2 + w - 3 + 2*w + 0. Let r be l(-3). Which is smaller: r or -1/57?
-1/57
Suppose -u + h = 0, -25 = -5*u + 2*u - 2*h. Let d(j) = 4*j**3 - 9*j**2 + 3*j - 6. Let f be d(3). Suppose f = 11*k - 6*k. Is k less than or equal to u?
False
Let f be (504/(-720))/((-9)/15). Does -5/13 = f?
False
Let i(c) = 210*c - 45. Let y be i(0). Which is smaller: y or -168?
-168
Let b(u) = -u**3 - 3*u**2 + 2*u - 3. Let t = 34 + -38. Let a be b(t). Suppose 12 = 8*s - a*s. Which is bigger: 26/7 or s?
s
Suppose 559 = -7*v - 92. Let s = v - -149. Do s and 54 have different values?
True
Let l(a) = -a**3 + 6*a**2 - 5*a - 6. Suppose -22 - 128 = 5*r. Let x = r + 36. Let t be l(x). Is t less than or equal to -106/3?
True
Suppose 48*m + 62*m = 11*m + 16038. Which is smaller: m or 164?
m
Suppose m - 1180 = -b + 6*b, 686 = -3*b + 5*m. Let u be ((-29)/10)/((-2)/164). Let p = b + u. Which is greater: 1 or p?
1
Let w = -74 + -70. Let x = 188 + w. Is x less than -4?
False
Let o = 232 + -84. Let w = o + -150. Is w > -2.7?
True
Suppose -3*h - 2*l = -6, -5*h = -4*l - 136 + 104. Let z(f) = 2*f**3 - 4*f**2 - 2*f + 2. Let t be z(3). Suppose 2 = -3*v + t. Is h less than or equal to v?
True
Let v = -40 + 27. Let u be 2/(-36) - 42/((-294840)/(-100050)). Is u < v?
True
Let j(i) = -i**3 + 11*i**2 - 26*i - 25. Let w be j(6). Is 56/123 smaller than w?
False
Let m = 145 + -103. Let u be (-1)/((-9)/394) + 8/36. Are m and u nonequal?
True
Let l be (4/1280)/(1/(-946)). Let j = l - -5/32. Let y = 4 - 7. Which is greater: j or y?
j
Let n(u) = 3*u - 20. Let h be n(8). Let p be (3 - h)*(1 - 0). Which is smaller: p or -2?
-2
Let a = -2271 + 2270. Do -1308/7 and a have different values?
True
Suppose -61*k + 42*k + 180*k = 233128. Is 2 at most k?
True
Let h(k) = 3*k + k - k - 181 + 3*k + 7*k. Let f be h(16). Is 80/3 >= f?
False
Suppose 90*m - 340 = -5*p + 91*m, -m + 350 = 5*p. Which is smaller: p or 67?
67
Let l(d) = -7*d - 28. Let j be l(-13). Suppose 14*v - 5*v - j = 0. Which is greater: -0.3 or v?
v
Let z = 0.02162 + -0.02162. Which is bigger: z or -0.472?
z
Let a = -40.808 - -41. Let r = 1.192 - a. Which is greater: -12 or r?
r
Suppose 0 = 4*w - 515 + 63. Let x = -114 + w. Is -4/55 not equal to x?
True
Let i(z) = -110*z**2 - 7278*z - 45. Let u be i(-66). Is 1152 bigger than u?
True
Let a = 4974.7 - 4970. Is a at most as big as -74?
False
Let g be ((-2)/6)/(2 - 3323/1662). Is g equal to -3?
False
Let w = -1286 - -1869. Let l = 205 - w. Which is smaller: l or -379?
-379
Let n = -12041/1825 - -167/25. Let a(v) = -v**3 - 13*v**2 + 14*v. Let s = 15 + -29. Let m be a(s). Which is smaller: m or n?
m
Suppose 7*f + p - 22 = 12*f, 12 = -f + 4*p. Let o(z) = -108*z - 33. Let w be o(f). Do 400 and w have the same value?
False
Suppose 4*z + 5*o - 4 = 179, 79 = 2*z + 5*o. Let c be (-18)/(-4)*20/6. Suppose -c*l + 19*l - z = 0. Is 14 at least as big as l?
True
Let p be ((-49)/14)/((0 + -2)/(-52)). Let n = p + 365/4. Are -136 and n nonequal?
True
Let n be (0 + -108)*(-10)/(-4). Let m be (-142)/n + 12/(-20). Suppose 0 = -w - 0*w - 1. Which is greater: w or m?
m
Let o = -5717/1629951 + 8/1747. Which is bigger: o or -4?
o
Let p = 11366 + -16084. Which is bigger: p or -3?
-3
Let k = 7603 + -7602. Are 128 and k non-equal?
True
Let o be (2/(-5))/(31/6355). Let l(h) = 14*h - 13. Let k be l(-5). Is k >= o?
False
Suppose 241 = -8*j + 49. Let h be (-1 - (2 - 2))*j/(-12). Is h != -20/27?
True
Let i = 1197890695/14774 - 81081. Which is smaller: 0 or i?
0
Let r = 1512 - 168. Suppose -9*y + 4*y + 2*s = -r, 0 = 2*y + 2*s - 532. Is y >= 268?
True
Let t = 1 + 4. Let w(l) = -67*l - 54. Let h be w(-23). Let j = 10449/7 - h. Is t less than j?
True
Let v = 22.707 - -0.293. Let j = -65 + 91. Let f = j - v. Which is smaller: f or -4?
-4
Let x be (21 + 946/(-44))/(2/(-4))*-1. Suppose 0 = -2*w, 0 = 2*l - 5*w + 2*w - 10. Let u be (l/(-3))/((-88)/6). Is u not equal to x?
True
Let z(c) = 38*c + 43. Let s(u) = -40*u - 43. Let h(p) = 6*s(p) + 7*z(p). Let q be h(-6). Which is smaller: q or -2?
q
Suppose -4*c = -4*k, -3*k - 3 = -0*k - 4*c. Suppose -k*b - 5 = t - 3, 4*b - t = 9. Is 5/4 >= b?
True
Suppose 3*r + 29 = r + 5*a, -2*a + 20 = -5*r. Let y(h) = 17*h**2 + 2*h - 1. Let b be y(r). Let j = 55 - b. Which is bigger: j or -9?
j
Let g = -2234 + 3188. Is g >= 950?
True
Let i = 137.41 - 138. Let b = 742.2 + -742. Which is greater: i or b?
b
Let f = 191 + -150. Let a = -41 + f. Which is smaller: 0.114 or a?
a
Let v = 7.5385 + -0.5385. Is v equal to -19?
False
Let f be -9 - -3 - (9 - 60). Let z be 303/6 + (-1)/2. Let v = f - z. Which is smaller: v or -6?
-6
Let h be (-81)/6*(-2)/3. Let a be ((-2)/(-12)*h)/((-3)/(-4)). Suppose a*o - 6*o - 49 = 3*d, 5*d = o - 51. Which is bigger: d or -12?
d
Let d(w) = -w**3 + 55*w**2 + 120*w - 841. Let o be d(56). Which is bigger: 2745 or o?
2745
Suppose -72*t = -69*t - 6. Suppose -8 = -5*q - t*w, q = -3*w - 0 - 1. Which is bigger: q or 19?
19
Let i = 1745 - 1744. Which is smaller: i or -21/1054?
-21/1054
Let r = -310 + 321.4. Let m = 11.6 - r. Do m and -46 have the same value?
False
Let p(s) = -s**2 + 5*s + 2. Let g be p(4). Suppose -2*i = 3*f - 6, i + i - g = f. Is 18/23 > f?
True
Let w = -407 + 414. Suppose 2*i + i = 3*f - 69, 5*i + w = -f. Which is bigger: f or 55/3?
55/3
Let k = -484 - -265. Let n = -216 - k. Is n less than -54?
False
Let a(w) = w**3 + 5*w**2 - 5*w - 5. Let u be a(-5). Suppose -2*p + u = t, t + 0 - 17 = -p. Suppose 5*q - 15 = 0, -4*z + q = -2*q + 5. Is t less than z?
False
Let u = -0.11 + -0.07. Let q be (5 + -19)*(-33)/6. Let d be (-8)/q + (-22)/121. Is u > d?
True
Suppose -6*z - 1674 = -738. Let n = 151 + z. Does -6 = n?
False
Suppose -2*v + 0*t - t = -3, -5*t - 6 = 3*v. Suppose 2 + 3 = -g - 5*h, -v*g - 67 = 2*h. Let z = g + 30. Is z equal to 5?
True
Let u be (-3)/(-9325)*1244 + (-334)/835. Is u not equal to 1/4?
T