 + c. Does -67/4 = u?
False
Let h be (-2)/(-6) + (-148)/(-6). Suppose -b - 242 = -12*b. Let i = h - b. Which is smaller: 0.07 or i?
0.07
Suppose -5*l - 9 = -3*a + 7, 0 = l + 3*a - 4. Let z be 8/2*(116/16 + l). Let b be ((-63)/5)/((-4)/(z + -1)). Which is smaller: 62 or b?
62
Let d = 235 - 220. Let j be (-64)/416 - (d/(-13))/1. Is 1/18 at least as big as j?
False
Let u(k) = k**2 - 9*k + 19. Let h be u(6). Let p be (-5)/(210/222) + 5*h. Let c be 2/7 - 86/154. Is c smaller than p?
False
Suppose 3*a = -h - 11 - 16, -5*h = 2*a + 109. Let q be -4 - (-7)/(h/(-12))*1. Let o be (0 + 0 + 3)/25. Which is smaller: o or q?
q
Let c be -2 - ((2 - 2) + -2). Let r = -303 - -303. Let m be r + (-4)/8 + 95/194. Which is smaller: c or m?
m
Let h = 39.2 + -39.6. Let j be 2 + (-16)/4 - 8. Let s be (-1)/(-8)*(j + 14). Is h greater than s?
False
Let r = -84 - -188. Let i = -112 + r. Let u = 2 + -8. Do i and u have different values?
True
Suppose -159 - 2487 = 27*t. Let s be (40/(-100))/((-16)/(-3890)). Which is smaller: t or s?
t
Suppose 4*l = -253 + 773. Suppose l = -4*x + 126. Let r = 5/126 - 821/1638. Which is smaller: x or r?
x
Suppose -32*r + 119784 = 21*r - 11*r. Which is bigger: r or 2851?
r
Let z = 257 + -255.81. Let i = z - 0.85. Which is greater: i or 0?
i
Suppose -5*z + 483 = 3*r - 726, 5*z + 5*r = 1205. Suppose -d = -4*x + z + 103, 2*x + 2*d = 168. Is 85 less than or equal to x?
True
Let r = 0.70454 + 0.29546. Which is smaller: 1333 or r?
r
Let o be (2100/80 - 25)/(1/(-392)). Are o and -3439/7 equal?
False
Let r be (-5)/(-15)*111/(-74). Let v = -681 + -124. Are v and r equal?
False
Let a be 364/(-48) + 5/4*1. Let z be ((-2)/6)/((-4)/90). Let s = z - 7. Which is smaller: a or s?
a
Let o(q) = q - 13. Let c(i) = i**2 + 2*i - 12. Let b be c(4). Let w be o(b). Which is bigger: w or -13/12?
w
Suppose 19 = -2*r + 43. Suppose -3*m - 4*l - r = -0*l, 0 = 5*m - 4*l - 12. Is 3/362 at least m?
True
Suppose -4*n - 5*r - 2 - 18 = 0, 0 = 2*n - 2*r - 8. Suppose n*s = -17*s. Which is smaller: s or -8/7?
-8/7
Let w = -12690 - -12696. Which is bigger: w or 159?
159
Let s = 5446 + -5120. Is s greater than 327?
False
Suppose 4*q - 2383*n = -2385*n - 32136, 4*q + 32184 = 4*n. Does q = -8038?
True
Suppose -4*q = -54 + 6. Let z = q - 12. Let j = 122/3 + -485/12. Which is smaller: z or j?
z
Let k(w) = -6*w - 220. Let z be k(-38). Let x be ((-78)/(-56))/((z/(-32))/1). Which is greater: -5 or x?
-5
Let w = -1.97 - 0.03. Let g = -8422 + 8422.1. Which is bigger: w or g?
g
Let g = -974/203 + 36/7. Which is smaller: 0 or g?
0
Suppose -2861*h = -2845*h + 1152. Do 19 and h have different values?
True
Let c(x) = 2*x**3 + 5*x - 11. Let u be c(5). Let h = u - 264. Which is smaller: -1/37 or h?
-1/37
Let b be (-8)/80*(3 + -2). Suppose v - 1 = -2*j, -25 = j - 6*j + 2*v. Suppose -3 = 3*h, 0 = -a - h - 3*h - j. Which is greater: b or a?
a
Let k(v) = -v**3 - 9*v**2 + 13*v + 14. Let l be k(-10). Let f = 2756 + -2770. Which is smaller: l or f?
l
Let g = 287/39 + -87/13. Which is greater: 1112 or g?
1112
Let j be (-3)/9 + (76/48 - 2). Suppose -4*n - 2*v + 32 = 0, -v = 6 - 2. Suppose -3*h - 4*c + n = -2*h, 3*h = -2*c. Which is smaller: h or j?
h
Let n(p) = p. Let t = 42 + -41. Let m be n(t). Let g be 6/(-3660)*-5*(5 - m). Is g greater than 1?
False
Suppose 8*n - 368 = 24. Suppose -n + 9 = 8*t. Let l = 29 - 26. Is l smaller than t?
False
Let f = 5.98 - -0.02. Let a = f + -5. Let q = -3635.9 + 3637. Which is smaller: q or a?
a
Let z(b) = -263*b + 98. Let d be z(26). Is d >= -6740?
True
Let t = 3025 - 3029. Is t != 78?
True
Let k = 102 + 32. Let t be (22 + -1)/((-201)/k). Does t = -2?
False
Suppose -2*r + 3*q = -31, 4*r + 5*q = -10 + 83. Let l be (-84)/3585*r + (-4)/(-10). Which is bigger: l or 0.1?
0.1
Suppose 3*y = 5*j - 65, y + 52 = 12*j - 8*j. Let o(m) = -70 - 6*m**2 + 46 + 3*m**3 - 4*m**3 + j*m + 0*m**3. Let s be o(-8). Are -5 and s equal?
False
Let g = -5271 - -5386. Which is smaller: 118 or g?
g
Let v = 8490 + -42452/5. Is -1/7686 equal to v?
False
Let p(a) = -4*a**2 - 70*a + 2. Let q be p(-15). Let r be q/(-36) + 4 - 144/(-5751). Which is bigger: 0 or r?
0
Let a(x) = 6*x + 35. Let f(j) = 5*j + 35. Let g(n) = 3*a(n) - 4*f(n). Let r be g(-18). Let w be -37*(-2 - r)*(-2)/6. Which is smaller: -38 or w?
-38
Let d(a) = 2*a**3 + 28*a**2 + 25*a - 9. Let m be d(-13). Let y be m + 1 - (114/15 - 3). Is y at most as big as 2/9?
False
Let r be (-168)/(-98)*56/(-12). Which is smaller: r or 31?
r
Let j = 737933/11 - 67085. Let f = 3.6 + 0.4. Let n = f + -7. Which is bigger: n or j?
j
Let z = -1070/3 + 360. Let i be (-4)/(-8)*34 + 308/(-22). Are z and i non-equal?
True
Let s = -79.67 + 81.27. Is 331 bigger than s?
True
Let i = 205 - 228. Let r be 90/25*45/(-6). Which is bigger: i or r?
i
Let p = -6.9622 - 0.0378. Is p at least as big as 137?
False
Let h(y) = -y + 17. Let r be h(12). Suppose r*w = 6*w. Let v = -72103/55 - -1311. Which is smaller: w or v?
w
Let c = 0.12 - 5.12. Let f = -40 + 44. Suppose l - f*t - 22 = 0, 0*l + 4*l - 3 = -t. Which is smaller: c or l?
c
Suppose -29*d + 37174 + 11336 = -119*d. Which is smaller: -2698/5 or d?
-2698/5
Let q(c) = -110*c**2 - 3*c - 7. Let d be q(-4). Let p be (26/d)/((-8)/(-196203)). Let m = -1453/4 - p. Is 1 at most m?
False
Suppose 0 = -j - 0*j + 24. Suppose 0 = -l - 21 + j. Suppose 3*b = -b + h + 4, l*b - h = 3. Which is smaller: b or -3?
-3
Let h be (4/(-14)*(-40164)/(-8))/((-1)/7). Is h not equal to 10042?
True
Let t(h) = -h**3 - 3*h**2 - 3*h - 8. Let d be t(-7). Is 213 < d?
False
Let z(s) = -2*s**3 + 25*s**2 + 14*s - 32. Let k be 1 - ((-54)/144 - 93/8). Let b be z(k). Let a = 0.1 - -0.1. Do b and a have different values?
True
Suppose -2*b + 22*z - 4296 = 21*z, 4*b - 3*z = -8592. Is -2146 at most as big as b?
False
Suppose -5*x + 6 = -3*w - 15, -4*x - 264 = -18*w. Let f be (-2 + 0)/(4/42). Let s = -1 - f. Is w >= s?
False
Let m = -12.85 + -0.15. Let p = 3.2 + -1.2. Is m less than or equal to p?
True
Let c(x) = -x**2 - 22*x - 263. Let o be c(-15). Is -126 less than or equal to o?
False
Suppose -46*g - 70699 = 2*g - 29*g. Which is smaller: g or 0.1?
g
Let x be (744/(-84))/(-31)*-57127. Which is greater: x or -16323?
x
Let b = -0.05 - 0.75. Let m = 1076 - 1643. Let q = 568 + m. Is q greater than b?
True
Let s be 108/8*196/(-3). Let a be ((-10538)/(-10))/((18/5)/(-3)). Let p = a - s. Which is smaller: 5 or p?
p
Let u be ((-36)/42)/((-3)/11529). Let f = u + -1110080/337. Is f <= 0?
True
Suppose k + 5 = 6. Let r be k/(-2) - (-684885)/1392300. Let s = -1/595 - r. Which is smaller: s or -1?
-1
Let u = 1766 - 1764. Let a be 1 + (-1 - (-2 - 0)). Let b be a*u/4*1/1. Are 13 and b unequal?
True
Let b(y) = -3*y + 30. Let m be b(-7). Let k = 57 - m. Suppose -5*x + 2*s + 19 = -24, x - 2*s = 15. Are x and k unequal?
True
Suppose -30 = -5*q + 3*a, -a - 1 = q + 1. Let p be (2 - q)/1 + 88/1. Let j be 6/(-9)*p + 4. Which is greater: j or -53?
-53
Let h be ((-2)/(-6))/((-2376)/3475791). Which is smaller: -487 or h?
h
Let y = -40481 + 43331. Is 0.05 not equal to y?
True
Let j = -16.84 - -17. Let v = -0.525 - -0.365. Let w = v + j. Which is smaller: -1 or w?
-1
Let n(z) = z**2 - 2*z - 20. Let c be n(6). Let y = -17 + 15. Let j be (4 + (-5 - 1))/(c/y). Which is smaller: j or 20/13?
j
Let m be (3 - 1) + 41815/(-50) - 0. Let c = -835 - m. Is c at least 1?
False
Suppose 0 = -5*h - 42*m + 40*m - 3, 3*h + 2 = -m. Suppose 4*r - 128 = 4*b, -3*b - 50 - 86 = 5*r. Let t be 12/18*(-3)/b. Is h smaller than t?
True
Let n = -1109.1 + 937. Which is bigger: n or 1/2?
1/2
Let v(h) = -10*h**3 - 30*h**2 + 81*h - 53. Let p(k) = 3*k**3 + 10*k**2 - 27*k + 17. Let y(x) = 7*p(x) + 2*v(x). Let g be y(-12). Is g < 52?
True
Let k be 1*(-3 + 4)*-4. Let i be 2 + (2/k)/(-1). Let n = 11/4 - i. Which is smaller: -0.04 or n?
-0.04
Let w = 4877.83 + -4878.13. Let i = 998/5 - 199. Which is bigger: i or w?
i
Let b = -14 - -17. Suppose -3*g = -4*n + 2*g, 0 = 2*n + b*g - 22. Let r be (16/24)/(4/(-6)). Does n = r?
False
Let w be -8 + (8470/(-95))/(-11). Let o = 17225 - 1309073/76. Let s = w - o. Are s and 1 non-equal?
True
Let y(r) = r**3 - 5*r**2 - 1392*r - 32. Let k be y(42). Which is smaller: 6773 or k?
k
Let u be 15*21/63 - 10/2. Is -102 less than u?
True
Let k(x) = -x**2 - 50*x - 249. Let v be k(-6). Which is smaller: v