r than b?
False
Let q = -666 - -377. Let l be 1/17 + 59262/q. Is l not equal to -205?
False
Suppose 36126 = -151*b - 33032. Which is bigger: -455 or b?
-455
Let u be (88/(-12) + -4)*(-166 - -1). Suppose 0 = 101*m - 106*m + u. Which is smaller: m or 375?
m
Let k = -23.41 + -0.59. Let q = -18.7 - k. Let p = 2256.6 + -2256.7. Which is greater: p or q?
q
Let s = 143 - 717/5. Let u be ((-12)/(-100))/((-6)/12*3). Which is smaller: u or s?
s
Let f = -0.26 + 0.67. Let p = 2.111 - -0.299. Let b = p - f. Is 0.1 at least b?
False
Suppose 20 = -3*v - 6*z - 28, 5*v + 36 = z. Let f be 172/(6 - 2) - -2. Let l be (-118)/15 + (-6)/f. Is v >= l?
True
Let m = -18716 + 18162. Which is smaller: m or -0.17?
m
Let c be -1 - 1 - (-2 - -1). Suppose 0 = -9*l + 7*l + 42. Let f(t) = t**2 - 15*t - 123. Let v be f(l). Which is smaller: c or v?
c
Let t = -7421 - -7409. Which is bigger: -188/17 or t?
-188/17
Let w(i) = 3*i**3 + 2*i**2 - 6*i + 6. Let u be w(-5). Let s = u - -875/3. Let o = 2611 - 2609. Is s less than or equal to o?
False
Let u = 915 + -1356. Let r = u + 440. Is 1.62 at most as big as r?
False
Suppose 49*l - 6*l + 18*l = -7625. Is l < -15?
True
Let k = 122 - 113. Suppose -299 - k = -4*d. Which is smaller: 76 or d?
76
Suppose -12*n - 30 = -15*n. Suppose q - n = 41. Let g = q + -53. Do g and -6/7 have different values?
True
Let w(d) = 8*d - 42. Let q(l) = -3*l + 21. Let m(a) = -9*q(a) - 4*w(a). Let c be m(-4). Which is greater: -2/507 or c?
-2/507
Let f = 98/57 + -617/1254. Suppose -45 = 30*g - 105. Which is smaller: f or g?
f
Let b = 12/679 - 41/40740. Do b and 32 have different values?
True
Let b(u) = -9*u - 8. Let v be b(-18). Let s = v + -70. Is s <= 83?
False
Let p = 19691 - 20366. Does p = -683?
False
Let q = -266/11 - -776/33. Which is smaller: 0.958 or q?
q
Let k = -1/295 + 609/5605. Let u be (244/8 - 31) + (-14)/(-26). Which is greater: u or k?
k
Suppose q + 2 = 0, 5*l + q - 4 = 3*q. Let n(r) = r + 2. Let y be n(l). Suppose -2*h + 82 = -y*g, -2*g = g - 5*h + 119. Which is bigger: 0 or g?
0
Suppose -22*a + 21*a = -315. Let j = a + -497. Are -183 and j non-equal?
True
Let o be (((-10)/28)/(-5))/((-88)/1135856). Let v = -922 - o. Is v equal to 3/4?
False
Suppose 0 = 8409*m - 8422*m + 1001. Suppose 2*z + 2*z = 312. Which is greater: z or m?
z
Suppose -27*m = -21*m + 6. Let x be 4*m + (0 - (4 - 15)). Let f = 5 + -5.1. Which is greater: x or f?
x
Let b(p) = 4*p**2 + p - 63. Let h be b(5). Let q be (h/182)/((-1)/(-25)) - 5. Is q less than 2?
True
Let o = -2.17 - 18.63. Let g = o + 17. Let l = g + 2.8. Is l > -3/8?
False
Let k = -3661 + 3672. Is k < -85?
False
Suppose -5*w - 122 = 5*a + 813, 0 = -a + w - 177. Suppose -2*i - 930 = 5*d - 7*i, -3*d = 4*i + 530. Is a smaller than d?
False
Let l(c) = -c**3 - 13*c**2 + 93*c + 53. Let m be l(-18). Which is bigger: 970 or m?
970
Suppose 90 = -2*m + 8*m. Let z be (0 + 730/m)/((-4)/(-6)). Is z > 73?
False
Let j = 98 + -96. Let a be ((-168)/(-99))/(j/(-9)). Let o = -13714/1793 - a. Which is smaller: o or 1?
o
Let c = -519 + 518.67. Let a = c - -39.33. Is 3 bigger than a?
False
Let g = -0.23316 + 395.01316. Let n = g - 396. Is 0 at most as big as n?
False
Let p be (-2)/(-6) + (-6)/12. Let o = 28 + -36. Let l(m) = -4*m - 31. Let u be l(o). Which is bigger: u or p?
u
Let a = 2551 + -2623. Which is smaller: a or -2076/29?
a
Suppose -2*i - 16280 = 3*i. Let z = 472118/145 + i. Let t = 127/1305 - z. Is t greater than 1?
False
Let n = 53 + -53. Let y = 3369/11495 - 5/2299. Let j = -347/1760 + y. Which is smaller: n or j?
n
Let g be (-257)/(0 + (-8)/(-24)). Let j = g - -327. Is j not equal to -444?
False
Let q(b) = b**2 + 7*b + 14. Let m be (-12)/(-28) + (-152)/28. Let h be q(m). Suppose -5*x + h*t = -0*x + 166, 2*x + 73 = -5*t. Are -34 and x unequal?
False
Let j be (2 + -2 - 1)*-14. Let f(b) = -38*b - 289. Let c be f(-7). Let p = c + j. Is -9 equal to p?
True
Let l be ((-56)/70)/(8/(-580)). Suppose -h + 1 + 36 = 4*v, -4*v = -2*h + 134. Which is bigger: h or l?
l
Let d = -74140 + 74332. Let r = 2/7457 - -4310140/22371. Which is greater: r or d?
r
Let i(o) = 2*o**3 + 6*o**2 + 7*o + 5. Let b = 220 + -223. Let m be i(b). Which is bigger: m or -21?
m
Let o(i) = i**3 - i + 1. Let x be 1*4*(-9)/(-4). Suppose 0 = 6*l - x*l. Let j be o(l). Which is smaller: 2 or j?
j
Let h be (7 - (-76)/(-12))/(2/(-15)). Let t(f) = f**3 + 6*f**2 + 3*f - 7. Let v be t(h). Suppose -v*l + 6*l + 9 = 0. Which is smaller: -13/4 or l?
-13/4
Let v = -14.2 - -16.19. Let o = 2 - v. Let r = -3043 - -3043.1. Is o less than r?
True
Let s be (-7 + 103)/(-8) + 8800. Which is bigger: 8787 or s?
s
Suppose 11*g - 6*g + h + 445 = 0, 445 = -5*g + 3*h. Let m = 29 + g. Let o = m + 63. Which is greater: o or 7?
7
Let y = -2.329 - -6.329. Which is greater: -913 or y?
y
Let h = -582 + 595. Let f = 5/11 - 37/33. Which is bigger: f or h?
h
Let x be ((-16)/(-12))/((-1)/15). Suppose 48*k - 76 - 25 = -53*k. Is x at most k?
True
Let g be 873*(-12)/(-45)*((-21)/(-6) - 1). Are g and 583 equal?
False
Suppose -34*v + 25*v = 162. Let k be ((-8)/v)/(10/(-15)*1). Is 2 at most as big as k?
False
Let c = 245 - 188. Let p be 14/4 - 3 - c/304. Which is smaller: -1 or p?
-1
Suppose 3*a - 4 = 5. Suppose 9*r - i - 102 = 8*r, 2*r = i + 207. Suppose 4*d - 5*j - r = 0, -117 = -a*d - d + j. Which is greater: 0.1 or d?
d
Let p = -7 - -8. Let r be (-140)/(-33) - (-11 + 435/29). Which is smaller: r or p?
r
Suppose -7*s = -9*s - 50. Let w = 26 + s. Let l = -12.7 + 15.7. Which is bigger: w or l?
l
Let g be 2/(-9) - (-3 + (-3396)/(-27)). Let x = g - -153. Is x less than or equal to 219/7?
True
Let z(u) = -u**2 - 21*u + 294. Let v be z(18). Which is greater: -813/2 or v?
-813/2
Suppose 9*l + 15 = -o + 4*l, l = -3*o + 11. Suppose -o*f + 17*f = -24. Which is smaller: -13 or f?
-13
Let b = -1.715 + -0.385. Does b = -18?
False
Let p(n) = 379*n - 196. Let w be p(-7). Are w and 0 nonequal?
True
Let z = -0.1651 + 37.1651. Which is smaller: 116 or z?
z
Let f be 14/(-3)*((-12)/(-2))/2. Let v = 92 + -101. Let u = v + -6. Which is smaller: f or u?
u
Let x(w) = -10 - 6*w - w**2 + 1 - 7*w. Let i be x(-12). Suppose -d = -i*d. Which is greater: -0.7 or d?
d
Let b = 6023 + -6010. Do b and 1/4 have the same value?
False
Let j = -1027.9 - -1039. Is j at least 4?
True
Let g be 4/(-40) + 51/10 + -1. Suppose -3*r = 2*r - 15. Suppose -r*z = 15, -g*a - 15 = 5*z - 2*z. Which is smaller: 2/47 or a?
a
Let s = -18471 + 19819. Which is bigger: s or 1349?
1349
Let i(x) = -89*x + 269. Let r(t) = 89*t - 269. Let k(l) = 5*i(l) + 6*r(l). Let o be k(3). Let d = 4012/9 - 448. Which is greater: o or d?
o
Let l = -191 - -191. Suppose -4*g + 0*g - 8 = l. Which is greater: g or -22?
g
Suppose 4*w = c - 50, 2*c - 6 = 5*w + 58. Let l = -22552 - -22552. Which is greater: l or w?
l
Let b(i) = i - 6. Let v be b(19). Suppose 16 - v = q. Suppose -8 = -q*a - 2. Which is smaller: a or 10/17?
10/17
Suppose -2*j = a + 5, -47*a + 42*a + 2*j = -11. Is 111/67 < a?
False
Let t be (8793/27)/(4/(-12)). Is -975 greater than t?
True
Let z = -2.362 - -2.333. Which is bigger: -52 or z?
z
Let f(j) = 22*j**3 - 5*j**2 - 43*j - 19. Let y be f(-3). Is y < -530?
False
Suppose -14*o = 3*a - 301, 4*a + o - 50 = 210. Are a and 102 unequal?
True
Let k(o) = o**3 + 56*o**2 + 155*o - 211. Let d be k(-53). Is 0.88 equal to d?
False
Suppose -l + 4*h = 27, 3*l + 3*h + 148 - 7 = 0. Let q = 88 + -106. Let b be 530/(-12) - 3/q. Which is smaller: b or l?
b
Let q(k) = -k**2 - k + 248. Let m be q(15). Is 2.4 != m?
True
Let w = 1/721 + -10105/7931. Which is greater: -0.08 or w?
-0.08
Let s be 2/(-4)*(58/6 - 9)*-3. Are s and 2/16885 unequal?
True
Let m be 13 - 0 - (1361 + 31). Which is smaller: -1380 or m?
-1380
Let p be (-898 - 0)*17/306. Let x = p - -50. Which is smaller: x or 17?
x
Let h = 91 + 67. Suppose 3*y = 2*w - 170, 2*y + 3*w = -h + 49. Let v be 16/y - (-118)/266. Which is greater: -1 or v?
v
Let i = 37 - 81/2. Let l = -127 + 72. Let x be 34/(-10) + 33/l + 1. Is i >= x?
False
Suppose 4*z + 0 = -748. Let b = -205 - z. Which is greater: -33/2 or b?
-33/2
Let x = -497 - -3477/7. Let r be (2/(-4))/(6/(-12)*1). Which is smaller: r or x?
x
Let f = 712 + -719.23. Let n = 6.34 + f. Which is greater: n or -1?
n
Suppose 74*i + 201 + 21 = 0. Suppose 0 = 3*q - 8*q + 180. Suppose -5*d = -2*