Which is smaller: u or -6?
-6
Let d(t) = -29*t + 22*t - 1 - 2. Let v be d(7). Let k be 8/v - (-194)/78. Do k and 2 have the same value?
False
Let b = -13 + 97. Suppose 208 = -2*v - b. Let s = 1316/9 + v. Are -1 and s equal?
False
Let l = 14 - 4. Let v be (-1)/(-4)*(6 + 22). Which is smaller: l or v?
v
Suppose -5*j = -3*j - 16. Suppose 3*o + 2*t - 22 = 0, 3*t + 0 + 3 = 0. Is o greater than or equal to j?
True
Let t be 77/66 + (-102)/(-36). Let b = 1/27 - -79/54. Which is bigger: b or t?
t
Let s(w) = w**3 + w**2 + 2*w + 1. Let p be s(-1). Let i be (-65)/66 - (-3 - -2). Which is smaller: i or p?
p
Suppose -5*o - 4*g = 129, 2*o + 10 = -g - 41. Is o < -119/5?
True
Let n be (4/64)/(3/12). Let u = 3 - 2. Let j = 4 - u. Which is smaller: j or n?
n
Let g = -8 + -4. Which is greater: -97/8 or g?
g
Let m = 547 + -18049/33. Let l = 103 - 101. Is l greater than or equal to m?
True
Suppose 2*q + 3*q + 50 = 0. Let d = q - -17. Suppose -2*f - d = -1. Is 2 greater than or equal to f?
True
Suppose y - 4*y = -2*k + 95, -90 = -2*k + 2*y. Is k bigger than 40?
False
Let h be (12/(-36))/((-65)/(-6)). Which is smaller: h or 0?
h
Suppose u = 5*u + 12. Let d(k) = -k**2 - 3*k + 2. Let z be d(u). Suppose -2*b = -z*r - 16, 4*r + b = -28 - 9. Which is greater: r or -7?
-7
Let q(h) = -4*h**2 - 171*h + 166. Let z be q(-44). Which is greater: -44 or z?
-44
Let r = -408.7 + 409. Is -6/61 > r?
False
Let t be 1 + 4/(2 - 4). Let g be (-3 - 1) + (-17)/t. Suppose g*s = 9*s - 4. Which is smaller: s or -1/3?
s
Let t = 11.9 - 12. Let v = t + 1.1. Let f = 1.5 + -2.5. Which is smaller: f or v?
f
Let m be (-115)/(-3795) - 4/(-22). Is m != 1?
True
Let t be (24/(-18))/((-6152)/(-12)). Is t > 0?
False
Let t(f) = 2*f**3 + 44*f**2 - 10*f + 43. Let m be t(-22). Which is smaller: 261 or m?
261
Let a(i) = 2*i - 4. Let h be a(4). Suppose -14 + h = 2*w. Let n = 24 - 28. Which is smaller: w or n?
w
Let q = -57 + 45. Let x be ((q/(-92))/(-3))/((-1)/2). Which is smaller: 1 or x?
x
Let j = 484 + -484.5. Which is bigger: j or 86?
86
Let g = 38 + -26. Let x be g/(-16) + (-6)/40. Is x equal to -2?
False
Let l be (1 + (-3)/6)*970. Let o = -4381/9 + l. Which is bigger: -3 or o?
o
Suppose -5*n = -2*n + 4*u - 1632, 5*n + u = 2720. Which is smaller: 1 or n?
1
Suppose -3*m = -0*m - 6. Let p be (3 - 8)/1 + (4 - m). Which is smaller: p or 2?
p
Let v = -55 - -140. Let i = v + -83. Is i greater than -1?
True
Let t = 53070771/29151748 + -8/102647. Let y = t - 5/71. Which is smaller: -1 or y?
-1
Let c be (-51)/34*44/(-6). Let q = 46 - c. Which is greater: 34 or q?
q
Let n = -10.6 + 8.51. Let u = n - 0.51. Which is bigger: u or -1/2?
-1/2
Let f = -3/8174 - 167489/212524. Let g = f + -6/13. Suppose 0 = -m - 1. Which is smaller: g or m?
g
Suppose -4*q - 21 = -q. Let c be (-3)/6*(-7 - q). Let b = 13 - 22. Is c at least b?
True
Suppose -5*w + 1270 = -6*p, -48*p + 47*p - 508 = -2*w. Which is bigger: 249 or w?
w
Let a = 131 + -129.13. Let f = a + 0.13. Is f != -0.7?
True
Let j = 2 - 5. Suppose 10*s = -1763 + 483. Let o be 2/j + s/(-228). Which is bigger: o or -1?
o
Let b be 4/22 + 3/(132/80). Suppose 4*m + 326 - 81 = 3*f, 0 = m + 2*f + 64. Let i be 3/b - m/(-36). Which is smaller: -1/2 or i?
-1/2
Let k = -1082 + 919. Is 3/5 less than or equal to k?
False
Let t(d) = 16*d**3 - 8*d**2 + 20*d - 24. Let p be t(3). Which is greater: 398 or p?
398
Suppose -3*n = 15, 2*a + 3*a - 3*n - 60 = 0. Let l be (6/a)/((-2)/48). Which is greater: l or -15?
-15
Let r = 17217 + -17132.97. Let q = -84 + r. Which is bigger: 5 or q?
5
Let g be (-25)/(-28) + (19/(-4) - -4). Let j = 3/28 + g. Let x be ((-2)/(-26)*-2)/1. Which is bigger: x or j?
j
Suppose 9*l = -21*l - 8*l. Which is greater: l or -5/304?
l
Let s be 2 - (-2906)/(-14) - (-24)/42. Which is greater: -204 or s?
-204
Suppose -5*r + 4 = -4*r - 2*o, -1 = -o. Is r greater than or equal to 9?
False
Suppose -c = -72 - 11. Let m = c - 53. Are 30 and m nonequal?
False
Suppose t = -3*p + 159, 0 = -p + 6*p - 3*t - 251. Is p >= 2?
True
Suppose -61*h + 8362 = -24*h. Is h >= 226?
True
Let f be 8/28 - (-79)/(-7). Let s = f + 14. Suppose -2*q - 5 = s*q. Which is smaller: q or -2/3?
q
Suppose -2*p - 21*p - 782 = 0. Let m = -2/61 + 67/183. Is p greater than or equal to m?
False
Let y = -3433/18684 + -1/692. Which is bigger: 0 or y?
0
Let k(r) = r**3 + 4*r**2 + 2*r - 1. Suppose -2*d - 16 + 12 = 0. Let w be k(d). Let q(t) = -t**3 - 10*t**2 + 11*t + 1. Let n be q(-11). Which is greater: n or w?
w
Let l be (39/(-6))/((-4)/(-88)). Let y be 2/13 + 451/l. Which is greater: y or -1?
-1
Let i = -104 + 103.49. Let w = i + -0.5. Let t = 0.01 + w. Do t and 4/11 have the same value?
False
Let h = -7 - -7. Let n(a) = a - 3. Let m be n(4). Let k be m/4 - 156/112. Which is smaller: k or h?
k
Let y = 24.99 + -25. Let r = y + 0.09. Which is greater: -0.1 or r?
r
Suppose -7 = -2*x - 3*w, 0 = -3*w + 16 - 7. Let v = -549/49 - 6130/147. Let j = 53 + v. Which is bigger: j or x?
j
Suppose 2*j + 2*i = 3*i + 16, -3*j + 18 = -3*i. Let a be (-8)/40 - (-22)/j. Let f be (a/(-6))/(4/12). Are -2/9 and f nonequal?
True
Suppose 2*x - 48 + 38 = 0. Let z be x/(-5)*(1 + -1). Is z at most 7/5?
True
Let u = 1415.033 - 0.033. Which is bigger: 1 or u?
u
Let i = -11/194 - -261/11446. Let s(j) = j**2 + 1. Let h be s(0). Do i and h have the same value?
False
Suppose -62 = 5*k + h, 4*h = 1 + 11. Suppose z + z + 2*f + 32 = 0, -4*f - 4 = -z. Let s = k - z. Is -1 less than s?
False
Suppose -18 = 5*y - 18. Let b be (-2 + 1)*((-12)/(-4) + y). Which is greater: b or -36/11?
b
Let x = -18 - -30. Let m(o) = -5*o + 10 + x*o - 2 - o**2. Let y be m(8). Is 1/6 >= y?
True
Suppose 4*x + v - 29 = -0*x, -5*v = -2*x + 9. Suppose -8 = -2*c, -2*q + x*c = 11*c - 190. Do q and 88 have the same value?
False
Let t = -1548.9971 + 1549. Are -2 and t unequal?
True
Let t(q) = -q**2 - 11*q + 15. Let c be -7 + (-14)/2 + 1*2. Let a be t(c). Which is greater: a or 0.5?
a
Let b be 2*(2/(-26))/1. Let h = -8 + 11. Let q be 121/33 + -1*h. Is b at least as big as q?
False
Let r = -8.9 - -65.9. Let p = -46 + r. Which is smaller: p or -4?
-4
Suppose 265 = 5*s - 20. Let a = -1/1453 - -332741/5812. Let x = s - a. Which is greater: 1 or x?
1
Let t be 85/(-5)*(0 + 2 + -1). Let l be (4 + -1 - 0) + -1 - 23. Which is smaller: t or l?
l
Let l = 338 - 358. Do l and -19 have the same value?
False
Suppose 14*n = -70 - 42. Let q be 4/9*(1 - (-20)/n). Is 3/11 at most q?
False
Suppose 2*c - 6*c = 84. Let l(f) = -f**2 + 5*f - 3. Let s be l(6). Let b be s/(-2)*14/c. Does b = -4?
False
Suppose a - 3 = -15. Let c be (12/(-15))/(a/(-250)). Let i = c - -556/33. Are i and 1 equal?
False
Suppose -5*w + 282 = -3*g, 2*w - 3*g = -0*w + 120. Suppose -3*x = -3*a - 8*x + 38, 4*a + 5*x = w. Let f be (-12)/a*(-6)/(-9). Which is smaller: f or 0?
f
Let u = -28027/4 + 7054. Let q be (1 - 44) + (-40)/10. Let z = q + u. Is -5 smaller than z?
True
Let c be (-491)/161 - (13 - 16). Is 0 less than or equal to c?
False
Let f = -246 - -547. Which is smaller: -0.1 or f?
-0.1
Let c be -8*3/(-6) + (-1306)/372. Let u = c + 1/93. Suppose -3*v - 2*l = -3, 4*v - 3*v + 4*l = 1. Which is smaller: u or v?
u
Let z be (1/(-2))/((-1)/(-2)). Let l be (z*(-1)/(-9))/(-1). Suppose -y - q + 5 = -4*q, -4*y + 3*q + 2 = 0. Is y < l?
True
Let k = -368 - -523. Let b be 0 - k/(-135) - 1. Which is greater: b or 0?
b
Let r(y) = -3*y - 51. Let i be r(-25). Suppose 4*c - i = -2*a, -2*a + c + 5 = -4. Is 5 at least a?
False
Let w = -7504/85 + 442/5. Suppose -k - 2*k = -2*y, -2*y - 8 = -5*k. Let x be ((-2)/y)/(3/9). Which is greater: x or w?
w
Suppose 4*j + 180 = -2*o, -3*j - 2*o - 13 = 123. Is j > -43?
False
Let a be 2*7454706/(-39) - 0. Let r = 382017 + a. Let p = r + 276. Which is greater: p or 0?
p
Let p be ((7 - 2) + -2)*7. Suppose 0 = -9*w + 16*w + p. Are w and -2 nonequal?
True
Let x = -21 + 21. Let z = -81/13 + 87/13. Is x > z?
False
Let x = 3/275 - -149869/550. Is 272 equal to x?
False
Suppose 3*n - p = -2*p + 64, -79 = -4*n + 5*p. Suppose -4*g - 49 + n = 0. Let d(y) = 4*y + 1. Let c be d(-2). Is g smaller than c?
False
Let a be (-2 - 21)/(-1 + 2). Let l be (a - -2) + 3 + -4. Let v be (-4)/l - 171/(-693). Which is smaller: v or 2?
v
Let x(o) = 54*o - 761. Let r be x(14). Let s(a) = 5*a**2 + a + 1. Let k be s(-1). Is r at least k?
False
Let z 