= -w + 24, -8 = 4*w. Which is smaller: -0.3 or z?
z
Let a be (3/9)/((-3)/(-9)). Let d = -15.74 + 24.74. Which is smaller: d or a?
a
Suppose -5*b - 20 = 5*a, 0*b + 4*a = 5*b + 29. Let f be (22 + b)/((-2)/(-8)*4). Do f and 27 have different values?
True
Let g = 17291 - 29915. Which is smaller: -12625 or g?
-12625
Suppose -2*i + 3 = -1, 0 = -2*r + 2*i + 2322. Let b = r + -575687/495. Is 0 less than b?
False
Suppose 5*s - 3 + 223 = -5*p, -4*p = -s - 34. Is s less than -34?
True
Let w be ((-3)/(-11))/(38454/28122). Let d = w + -42/221. Is d at least as big as 0?
True
Let m = -2870/15543 - -4/1413. Which is smaller: m or 2/2093?
m
Suppose 0 = -29*u - 84 + 113. Are -1/787 and u equal?
False
Let m = 4 - 8. Let w be 8/114*(3 - (-22)/m). Let n = w + 1559/114. Which is bigger: n or 14?
14
Let y = 142.22 - 148. Let n = y + 5.8. Is 10/11 < n?
False
Suppose p - 216 = -b, 0*p - 1078 = -5*b - 4*p. Are b and 213 equal?
False
Let b = 35.09 - -78.91. Let p = 2082/77 + -188/7. Is b bigger than p?
True
Let w = -862 - -853. Let n(v) = v**2 + 2*v. Let c be n(0). Which is greater: c or w?
c
Let s = -0.36 - -0.338. Let l be 2/1*(-9)/(-45). Which is greater: s or l?
l
Let k(y) = 2*y**2 + 72*y + 378. Let f be k(-6). Which is greater: f or -19?
f
Let a(b) = -b**2 + 13*b + 92. Let d be a(18). Are 2/161 and d equal?
False
Let f(i) = i**3 + 9*i**2 - 13*i + 13. Let t be f(-10). Let w be (-3)/24 - (-90)/80. Is w less than t?
True
Let b(n) = 7*n + 1. Let l(m) = 21*m + 3. Suppose -39 = -3*o - 4*k, 0 = 4*o - 0*k + 3*k - 59. Let h(v) = o*b(v) - 6*l(v). Let t be h(6). Is t smaller than -43?
False
Let o = -185 - -185.0494. Let i = -49.9494 + o. Let l = 50 + i. Is l less than -0.04?
False
Let l = -3403 - -4223. Suppose -h + 855 = -5*f + 29, -5*h - 4*f + 4101 = 0. Is l at most h?
True
Suppose 137*p - 9 = -30*p - 1011. Let t(n) = -n + 2. Let o be t(4). Let g = o - 0. Does g = p?
False
Let g(t) = -32*t**3 + 4*t**2 - 5*t - 7. Let i be g(-4). Which is greater: 2126 or i?
2126
Let j = -0.669 - -0.769. Let t = 15 + -14.988. Which is smaller: t or j?
t
Let a = 213511 + -213477.1138. Let j = a - -0.0238. Let l = 0.09 + j. Which is smaller: l or 0.1?
0.1
Let o(k) = -52*k**2 - 38*k - 12. Let j be o(3). Which is greater: j or -601?
j
Let f(s) = -s**3 - 15*s**2 - 13*s + 14. Let q be f(-14). Let o be ((-1782)/(-42) - q) + (-8)/(-14). Is 43 equal to o?
True
Let d be (0 - -1)/((-6)/8). Let c be 2968/11 + (4 - 252/66). Let m = 268 - c. Is m < d?
True
Let p(f) = -2*f**2 + 80*f + 1463. Let b be p(-38). Do b and -3 have the same value?
False
Let s(r) = 38 + 4*r - 6*r**2 + 7*r**2 - 17*r - 9. Let f be s(10). Is f smaller than -3/35?
True
Let z = 28 - -51. Let p = -14993 - -15069. Which is smaller: p or z?
p
Let n(z) = 2*z - 5. Let c be n(-11). Suppose -170*g + 22*g = 4144. Which is bigger: g or c?
c
Let s(m) = -2*m**3 + 53*m**2 - 27*m + 25. Let x be s(26). Is x greater than -15/29?
False
Let n = -159.646 - 0.354. Let k = n - -270. Let g = -82 + k. Which is smaller: 0 or g?
0
Suppose -2*p + 21 = 17. Let x be 1075/(-645) + (p/3)/1. Let h = 29.34 - 29. Is x greater than h?
False
Suppose 4*c = 5*f - 423, -7*f = -3*c - 3*f - 317. Let h = -15 - c. Suppose 5*y = h - 557. Is y at most -93?
True
Let p(u) = -u**2 - 35*u + 7. Let t be p(0). Let y(f) = -f**3 + 2*f**2 + 20*f + 21. Let a be y(t). Is 3 at least as big as a?
True
Let c = 126 + -81. Suppose -l = 2*x - 2, -6*x = -5*l - 9*x + c. Let k(o) = o**3 + 6*o**2 + 4*o + 7. Let q be k(-5). Is q greater than l?
False
Let v = -12166 - -11270. Does v = -0.3?
False
Let b be (-112374)/2970 - (-2)/10. Which is greater: -39 or b?
b
Let a(v) = -v**3 + 7*v**2 + v - 7. Let g be a(7). Suppose g = 14*u - 16*u. Which is smaller: u or 2/685?
u
Let u = -545 + 588.2. Let l = u - 42.2. Let s = 2 + -2.4. Which is bigger: l or s?
l
Let z(u) = -u**2 - 9*u + 14. Let g be z(-11). Let i be (-3)/((-9)/6)*9/6. Suppose 2*p - 28 = i*x, 2*p = -5*x + 4*p - 48. Which is smaller: g or x?
x
Let i = 12579/20 + -628. Let h = i + -337/60. Let w be (-17 - -22)/((-4 - 1)/5). Which is smaller: w or h?
w
Let v = 0.01295 + -0.01295. Which is greater: v or -206?
v
Let h = -265412 + 5045064/19. Which is bigger: h or 118?
118
Let a = 2.0695 + -2.0995. Which is greater: -1285 or a?
a
Let r = -32 + 35. Let s be 4/(-5) + (-112)/(-240). Which is smaller: r or s?
s
Let r be (-32)/(-40) + 18/15 + -148. Is -142 less than or equal to r?
False
Suppose 14 = 7*p - 252. Is p at least 2?
True
Let v be (-9)/12 - (-3)/(-4)*-1. Let c(k) = k**2 - k - 12. Let x be c(v). Which is bigger: x or -2?
-2
Let j(l) = l**3 + 6*l**2 + 6*l + 1. Let a be ((-1)/(-2))/((-51)/12 + 4). Let x be (6/1)/(3/a). Let w be j(x). Which is bigger: -2/5 or w?
w
Let u be 2/5 - 26/90. Suppose 0 = -15*m + 11 + 29 - 40. Are u and m equal?
False
Let n be (2/(-3))/((-80)/228). Let i(j) = -j**3 - 6*j**2 + 7*j + 3. Let k be i(-7). Which is smaller: k or n?
n
Let d(m) = -m**3 - 13*m**2 - 37*m + 3. Let h be d(-4). Let v(t) = -4*t**2 - 18*t + 89. Let r be v(h). Is -234 at most r?
True
Let c = 0.2111 - -87.2189. Let y = 85 - c. Let k = -0.43 - y. Which is smaller: 3/7 or k?
3/7
Suppose -24 = -3*d - 3*j, -3*d + 16 = -4*j + 27. Let n be 8/30*3 + (d - -2). Is 7 at most n?
False
Let u(s) = 83*s + 4. Let o be u(4). Let n(y) = -34*y - 3811. Let p be n(-122). Which is greater: o or p?
p
Let k = 934 + -958. Is -74/3 smaller than k?
True
Let u = 2197 + -2108.7. Let m = -57.3 + u. Is m < 0.8?
False
Let y be 40/2 + ((-88)/(-99))/(4/18). Is y less than 45?
True
Suppose -3 = k - 1. Suppose -9*d + 4*d + 25 = 0. Let x be 20*((-23)/(-6) - (d - 1)). Is k <= x?
False
Let f = 10.565 - -1.435. Is f equal to 36?
False
Let t = 54842 + -35259. Is t less than 19584?
True
Let j(u) = u**3 + 7*u**2 + 4*u + 3. Let z = 23 - 29. Let b be j(z). Suppose 3*i + 5*x = 7, 3*i + 0*x + 3*x - b = 0. Which is smaller: 2/9 or i?
2/9
Suppose -25*s - 11633 = 10381 + 22111. Is s bigger than -1766?
True
Let y = 4897 + -4897. Which is smaller: -1/3407 or y?
-1/3407
Suppose 4*w + v + 0*v = 726, 4*w - 718 = -5*v. Suppose 0 = 3*q + 112 + w. Which is bigger: -97 or q?
-97
Let i be (-1)/(((-1)/(-2))/(3/(-6))). Let u be 3 + 4/i + -20. Which is bigger: u or -10?
-10
Suppose -2 = -2*x + 3*s, 3*x + 0*x - 4 = 4*s. Suppose -2*h + 4*i - 14 = 0, -7*h = -6*h - i + x. Which is bigger: -2/485 or h?
-2/485
Let l = -4420.3 - -4423.3. Which is smaller: l or -0.02527?
-0.02527
Let i = 496 - 553. Let k be (2/4)/(i/(-9006)). Which is smaller: 78 or k?
78
Let h(q) = -q - 13. Let f be h(-8). Let v = -211/42 - f. Suppose 107 = -4*j + 111. Which is smaller: j or v?
v
Let u = -586 + 859. Suppose -4*o - 269 + u = 0. Which is greater: o or 9/49?
o
Suppose -27*q + 31*q = 2452. Let w be q/15 - (-10)/75. Is w less than or equal to 40?
False
Let c(w) = w + 13. Let r be c(-9). Suppose r*f = -4*t + 28, -6 - 2 = 4*f. Which is greater: 8 or t?
t
Let g(w) = -w**2 + 24*w + 1793. Let k be g(-32). Do 1/5774 and k have different values?
True
Suppose -10*o + 7*o + 4*z - 80 = 0, 2*o = -5*z - 84. Is o less than -27?
True
Suppose -5*z = 5*b - 0*b + 495, 3*z = 2*b - 307. Suppose 579 = -53*y + 6038. Suppose 0 = 3*h + 2*m + 308, 12*h + m + y = 11*h. Is z >= h?
True
Suppose 12*w - 16*w = -3532. Let h = w + -596. Which is greater: 289 or h?
289
Let x = 576 + -322. Let y = -248 + x. Which is smaller: 28 or y?
y
Let m = -14622.4232 - -14622. Which is bigger: -2/7 or m?
-2/7
Suppose 0 = 534*u - 548*u + 53498 + 33876. Are 6240 and u unequal?
True
Let k be 0/(1*2)*1699/(-1699). Which is greater: k or 1/1896?
1/1896
Let b be (-1)/((345/(-30) + 11)*(-507)/(-21)). Is 0 less than or equal to b?
True
Let w = -2.867 + 97.867. Which is greater: 1/13 or w?
w
Let i = -28/573 + 17984/133509. Which is greater: i or 0.5?
0.5
Let r be 5/6 + -1 + 14/12. Is -84/121 > r?
False
Suppose -4*s - n = -16, -5*n + 0*n + 14 = -2*s. Suppose -s*b - 38 = -8. Let w be ((-2)/(-8))/(b/(-150)). Which is smaller: w or 3?
3
Suppose 971 = -37*h - 14976. Which is smaller: h or -432?
-432
Let q(a) = 4*a + 38. Let v be q(-9). Let x = 192/283 + -21109/38205. Let n = 2/27 + x. Which is smaller: n or v?
n
Suppose 0 = 9*r - 12*r + 27. Let w be -1 - (3356/r)/4. Let l = 94 + w. Which is smaller: l or -2?
-2
Let c = 51.2 - 51.3. Let z = 310396/13735 - -3/2747. Which is smaller: z or c?
c
Let f be (2/2