t a = -77 - -165. Is l less than a?
False
Let d = -19.84 + 19.74. Let u = -43.98 - 1.02. Is d bigger than u?
True
Let d be 86/78*18 + 2/13. Suppose 0 = -17*n + d*n + 3. Which is smaller: -2/165 or n?
n
Let c(o) = -114*o - 3426. Let u be c(-30). Suppose -2*z - a - 44 = 0, -5*z + 3*a - 109 = 5*a. Which is smaller: z or u?
z
Suppose -9*r - 2617 = -385. Let b = r + 269. Which is smaller: b or 41/2?
41/2
Let k = -285 - -469. Let u = k - 170. Are 19 and u equal?
False
Suppose 5*w + 5*b = 7*b - 6, 5*w = -5*b - 20. Let u be (w/5)/(54/30). Is u at most -116?
False
Let y = 0.104 - 0.127. Let a = y - 0.427. Let r = -55.1 - -55. Are r and a nonequal?
True
Let l be (2*(-13 - 0))/7. Let m be (13 - 135/10)*-30 - 20. Which is greater: m or l?
l
Let y = -753 - -883. Let w be (292/(-3))/((-3)/4). Let q = y - w. Which is greater: q or 23/3?
23/3
Let c(w) = 849*w**3 - 2*w**2 - 4*w - 4. Let m be c(-1). Which is smaller: -847 or m?
m
Let u = -57 - -61. Suppose u*x + 25 - 37 = 0. Suppose -3*z + 2*p = -31 - 2, 4*z + 2*p - 30 = 0. Which is smaller: x or z?
x
Let i = -183 + 898. Let q = i - 1373. Let k be (-5)/40 + q/(-16). Is 39 greater than k?
False
Suppose 0 = -5*j + 2*z + 2*z - 2504, -2*j = z + 999. Let w be ((-96)/80)/(42/j). Which is bigger: w or 15?
15
Suppose 3408 + 1345 + 7558 = -13*q. Do q and -2 have different values?
True
Let t(g) = g**2 + 28*g + 5. Let y be (-14)/((-2)/(-1 + 2)). Let p be t(y). Is 250 != p?
False
Let r be (-6)/5*(1275/3400 - 7405/(-8)). Is r smaller than -1111?
True
Let d = 2 - 1.8. Let b = -294 - -187. Let q = 121 + b. Which is bigger: d or q?
q
Let w = 57/40 - 84/5. Suppose -5*a - 47 = 5*l - 2, 8*a = -2*l - 114. Is a >= w?
False
Let v be (192/1536)/((-4)/6). Which is greater: v or 1.07?
1.07
Let u(r) = 2*r**2 - 14*r + 5. Let o be u(7). Suppose -17 = -4*m + o*a, 0*m + 4*a - 36 = -3*m. Which is smaller: m or 3?
3
Let f be 10 - 53/7 - (-1 - 0). Let q = 0.5 + 0.1. Let r = -1.6 + q. Which is bigger: r or f?
f
Suppose -s + c = -5, 6*s = 3*s - 2*c + 35. Suppose a - 16 = -3*w, 3*w = -2*a - 7 + 21. Which is greater: w or s?
s
Suppose 0 = 1274*h - 1295*h. Is -11/46 at least as big as h?
False
Let b(m) = -54*m - 5635. Let p be b(-100). Which is smaller: p or -233?
p
Suppose 540*i + 26 = -2*l + 546*i, -3*l + 13 = 4*i. Which is bigger: -3/3995 or l?
-3/3995
Let f = 61575/16 - 523149/136. Let k = -1/272 + f. Let x = -80 + 81. Which is smaller: x or k?
x
Let d = -193/614 - 2864029/6754. Which is bigger: -424 or d?
-424
Suppose -19*l = 3*q - 21*l + 3568, -4744 = 4*q + 4*l. Let x be 81169/q - 2/(-27). Is x greater than or equal to -67?
False
Let n be 78/(-2 + -1 + 5). Let s be n/(-52) - 18/(-16). Let w = s + -59/136. Which is smaller: 0.2 or w?
w
Let w = -281 + 285. Suppose -9*o - 5*f - 120 = -5*o, 16 = -w*f. Are -23 and o equal?
False
Let c = 7 + -62. Let t be -11*((-4)/5 + 11/c). Which is smaller: 0.1 or t?
0.1
Let g be ((1 - 1) + 0)/1. Let z = -1195 - 53. Let j be (-44)/286 + (-1)/(z/452). Which is smaller: j or g?
g
Let f be (26/(-2) - -13)/(-6). Are -28 and f unequal?
True
Let l = 3 + 1. Let t be -2 + -3 + 8 - 3. Suppose 2*f = -t*f - l. Is f less than or equal to -2/39?
True
Let b be 8 - 4/2*-1. Suppose 5 = s - b. Let y be (50/s)/(8/(-12)). Do y and -7 have the same value?
False
Let i = 27 + -33. Let t = -7 - i. Let w(x) = 3*x**3 + 3*x**2 + 3*x + 1. Let y be w(t). Which is bigger: y or 2/5?
2/5
Suppose 0*u + 60 = 6*u. Let q be (48/(-10) + 4)/(104/100). Let n = q - -43/39. Is n smaller than u?
True
Let w(b) = -b**3 - 4*b**2 - 4*b - 2. Let h be w(-3). Let x be -17 + 17 + 6/(-29). Which is bigger: x or h?
h
Let a be 7/1*((-7524)/42)/(-11). Let j = a - -323. Are j and 436 unequal?
True
Let i be (-364)/(-182) + 1 + (-106)/(0 + -1). Is 117 less than i?
False
Let s(b) = 26*b**3 - 2*b**2 + 26*b - 24. Let q be s(1). Which is smaller: q or 23?
23
Let y = -13.34 + 45.34. Is y at most as big as 80?
True
Let n = 3.1 + -3.123. Let y = 44.023 + n. Let s = 442287 + -442287. Which is greater: y or s?
y
Let m = -233 - -195. Let r = 37 + m. Which is greater: -9/68 or r?
-9/68
Suppose -1293 = -4*y + a, y + 195 - 429 = -5*a. Let g = -116 + 435. Does g = y?
True
Suppose 3*a = 3, 4*a = -4*x - 110 - 134. Is x less than or equal to -62?
True
Let w be (3339/(-330))/((-1)/(-2)). Let p = -260/11 - w. Let t = 1.5 - 0.5. Is p < t?
True
Let o = 8469 - 8475. Is o greater than or equal to -174?
True
Let r = 15.04 - 13.5. Let x = r - 1.74. Is x < 4.6?
True
Suppose 2*x - 3*d + 9 = 0, -4*d = -5*x - 0*d - 12. Suppose 3*j = -4*n + 230 + 17, x = -n - j + 63. Is n less than or equal to 58?
True
Let a = -0.04497 - -3.45617. Let z = 3.44 - a. Is z at least as big as -1?
True
Suppose -3*k = -0*k, 4*t = -4*k - 28. Let g be (68/t)/((-26)/91). Let s = g - 19. Is s at most 16?
True
Suppose -173850 = 222*w + 44145 - 46611. Does -773 = w?
False
Let l be (-1 + -7)*(-59)/(-4). Let x = l - -86. Suppose -107 - 33 = 4*b + 3*c, -5*b = c + 164. Are x and b nonequal?
False
Let i be (15510/240 - (8 + 1)) + 3. Is i greater than 59?
False
Suppose 306 = -92*o + 81*o - 948. Suppose 3*r + 2*r = -730. Let b = r - o. Which is bigger: -33 or b?
b
Let w = -12361.14 + 12207. Let y = -0.14 - w. Is y smaller than -1/3?
False
Let i be (228/(-8987))/((-45)/(-330)). Suppose -2*g + 3*g = 0. Which is greater: i or g?
g
Let p = 2786.4 + -2794.4. Do -0.166 and p have the same value?
False
Suppose 661*l = 444*l. Is l at least 61/114?
False
Suppose 12 = g + 3*g. Suppose i + 18 = g*i. Suppose i*u = 8*u. Is u < 1/10?
True
Let g(p) = -p**2 + 4*p - 6. Let w be g(5). Suppose 7*d - 1 = -8. Is w >= d?
False
Let v = 1349 + -1379. Do -1 and v have the same value?
False
Let z be (12 + -13)*(-9 - (-2)/(-1)). Let l be (-11)/z*8/(-1). Suppose 0 = l*d - 45 - 371. Are 51 and d equal?
False
Suppose 5*j = 3*j. Suppose 0 = 112*t - 105*t + 7. Let d be t/(44/6 - 6). Which is bigger: d or j?
j
Suppose 37 = -j - 4*c + 22, c - 75 = 5*j. Let z = 69 + j. Is z bigger than 54?
False
Let r = 12757/549760 + 1/4295. Which is smaller: 4 or r?
r
Let y = -58.9 + -407.1. Let f = -461.9 - y. Which is smaller: -0.1 or f?
-0.1
Let p = 63.01113 - 0.07113. Let c = -62 + p. Let f = c - 1.64. Which is smaller: -0.01 or f?
f
Suppose -2*i + 60 = i. Suppose -5*h - 2*w = -29, -h + w - 22 = -32. Let q be (-9)/i*h/(294/(-35)). Is -2 greater than q?
False
Suppose -108*r - 52*r - 9600 = 0. Which is bigger: -63 or r?
r
Let o be (-252 - (-3 + 16))/(0 + -1). Let l = o - 383. Which is smaller: -119 or l?
-119
Let x be (15*6/36)/(9 + (-1430)/156). Let d = 132/23 + -1977/92. Is x bigger than d?
True
Let l = -1496.9174 + -0.0826. Let c = l + 1556.04. Let h = c - 59. Which is smaller: h or -0.2?
-0.2
Let t(n) = n**3 + n**2 + n + 3. Let k be t(0). Suppose -3*x - k = -0. Let g = 2171/6210 - -23/270. Which is greater: g or x?
g
Let l(t) = 27*t - 2096. Let p be l(51). Is -0.11 less than or equal to p?
False
Let p = 6883 + -6205. Is 676 != p?
True
Let b = 7839.57 - 7840. Which is greater: b or 69?
69
Let t = -253 - -399. Suppose -8*c - 186 = -t. Is c at most as big as -4?
True
Suppose -2*q + 361 = -5*f, q = -f - 76 + 1. Let m be (37*-1)/((-12)/(-24)). Let y = m - f. Is y <= -2/49?
True
Suppose -p = 4*h + 81, -2*p + 5*h - 89 - 8 = 0. Let b = -3.6 - 22.4. Let t = b - -27. Is t smaller than p?
False
Let a = 205 - 235. Let d be (8 - 33 - -1) + -5. Is a > d?
False
Let j be (-21)/49 + (-110)/(-28). Let c = j + -4. Suppose d - 10*d - 199 = -19. Which is greater: c or d?
c
Let w(s) = -2*s**2 + 2*s + 2. Let i be w(2). Let p be (-3 - (-2 + 0))/((-2)/28). Suppose -4*r = -3*r + p. Is r less than or equal to i?
True
Let q be 46/(-299) + 996/52. Let u = -37402/117 - -4410/13. Which is greater: q or u?
u
Suppose -5*y - 10 = 0, -6*c + 5*y + 14 = -2*c. Let z(v) = 6 - 33*v - 7*v - c. Let w be z(1). Does -33 = w?
False
Suppose 0 = 5*z + 3*y - 6020 + 1551, z + 4*y - 887 = 0. Is z smaller than 898?
True
Let b(q) = -5*q**2 - 35*q + 74. Let k be b(-10). Which is smaller: k or -75?
k
Suppose 4*r - 13*r + 2124 = 0. Suppose 228*m - r*m = 56. Let y = -7 + -2. Is m >= y?
True
Let m = -661.005 + 660. Let k = 0.06 + -0.065. Let t = k - m. Is 1/2 > t?
False
Let j = 166 - 143.1. Let b = j + -22.98. Is 4 equal to b?
False
Let h = 266 - 727. Let r = 1845/4 + h. Which is smaller: r or 25.5?
r
Suppose -16 = 4*g, -5*p 