st as big as m?
False
Let j = 1822/13 - 140. Let a(y) = -5*y + 1317*y**2 - 3*y - 1318*y**2. Let h be a(-8). Is h at least as big as j?
False
Let k be -3 + (0 - -2) + 56. Let j = k + -53. Suppose 4*c - 5*q + 1 - 22 = 0, 0 = 5*c + j*q + 15. Which is smaller: 2/35 or c?
c
Let r = -20934 - -20934.2519. Is r > -2?
True
Let o be (187/22 - 10) + 8*(-1)/(-16). Let k be (-1)/11 - 0/(-2). Is k > o?
True
Let b be (0 - (-498)/396)/((-2)/6). Which is greater: -3 or b?
-3
Let p = 396 - 369. Let i = p - 36. Which is smaller: i or -7?
i
Let p = 4373 + -65599/15. Which is greater: 0 or p?
0
Let j = 436.788 - -0.212. Let a = j + -436.4. Is 22 not equal to a?
True
Suppose 2*v + 5*d + 728 - 159 = 0, -3*v + 5*d = 816. Is -281 >= v?
False
Suppose 0 = 29*i + 14794 + 11712. Which is smaller: i or -903?
i
Let s = -1435 + 1435.611. Let b = 148.789 + -148.7. Let m = s + b. Which is bigger: m or -1/2?
m
Suppose c = -4*p - 64, p = 5*c + 3 + 2. Let u(m) = -m - 12. Let b be u(p). Suppose -2*w + b*l = -5*w - 9, -3*w + 3*l = -21. Which is smaller: -1.1 or w?
-1.1
Let m = -2.614 - -1.614. Which is smaller: 600 or m?
m
Suppose 29*j + 5*j - 1 = 33. Which is bigger: 8/393 or j?
j
Let t = -7608 + 7329. Which is greater: -281 or t?
t
Suppose -4*l + 448 = -10*j + 12*j, 5*j - 4*l = 1050. Suppose -j*i - 4 = -218*i. Which is bigger: i or 6/235?
i
Let t = -67969 - -67984. Let a = -4/63 + 2/315. Are a and t non-equal?
True
Let w = 112.19327 - 0.19327. Let q = 91 - 203. Let c = w + q. Which is smaller: c or 9/4?
c
Let u = -309 - -216. Let b be (-6760)/72 + (-30)/27. Which is greater: b or u?
u
Let u = 15820 + -17910. Are -4177/2 and u equal?
False
Let m = 140 + -138. Suppose 166 = 5*g - g - m*c, g - 41 = c. Let l = 50 - 9. Do g and l have different values?
True
Let x = 345 - 349. Let h = -13.08 + 0.08. Which is smaller: h or x?
h
Suppose 21 = 4*n + 5. Let i = -99058/85 - -5844/5. Which is smaller: n or i?
i
Let p = -25623/4668998 - -3/7954. Does p = 0?
False
Suppose -5*h + 3 = 3*n - 0, 5*n + 2*h = 5. Let j be (-7 + (-220)/(-30))/(20/(-18)). Is j less than n?
True
Let y be (-1124)/20*(34/12 + 3) + -4. Which is greater: -332 or y?
y
Suppose 6*z - 12*z = -31*z + 100. Which is smaller: 53/16 or z?
53/16
Let q = -32 - -184. Suppose q = 7*u + u. Is 81/4 less than u?
False
Let q = -1670 + 312. Is q greater than -1356?
False
Let w be -10*(-12)/360*3*2. Suppose 23*b + 420 = w*b. Suppose -69 = 4*k + 4*p - 3*p, 2*k + 2*p = -30. Is k smaller than b?
False
Suppose 0 = 16*k - 2579 - 1901. Let h = -258 + k. Is 25 at least as big as h?
True
Let s be (-4536)/(-88) - (2 + (-55)/15 + 2). Is 50 less than s?
True
Suppose -63 = 3301*j - 3316*j + 42. Which is bigger: 4/41 or j?
j
Let j be 2 + -5 - (2 - 30). Suppose k + f = 10, -4*k + j + 11 = 5*f. Let u be 6/(-10)*10/(-15). Is u greater than k?
False
Let b = 3 + -7. Let g be (-4*(-3)/12)/((-18)/(-108)). Let n be g/(-57) + (-131)/19. Is b < n?
False
Let m = -48099.01 + 47875. Let k = -224 - m. Which is greater: -2/33 or k?
k
Let b(g) = g + 4. Let f be b(5). Let i = -13 + f. Let t be (1 + (-9)/15)*26/(-4). Which is greater: t or i?
t
Let b(a) = 83*a**2 - 8*a + 8. Let l = 625 + -622. Let z be b(l). Which is smaller: z or 730?
730
Let r = 313 - 313.045. Let n = r - -1.045. Is n >= -74?
True
Let h = 2410 + -2219.3. Is 0.1 smaller than h?
True
Let t = -11/217 + 37706/3255. Which is bigger: 12 or t?
12
Suppose -4*c = i + 8, 148*c = 151*c + 6. Do i and -1739 have the same value?
False
Let b(u) = u**2 - 73*u - 12240. Let f be b(-80). Is f < 8/4879?
True
Let m = -19775/186 + -78/31. Which is greater: -109 or m?
m
Let l = -45.5372 - -0.4372. Which is smaller: 4 or l?
l
Suppose 7*q - 3*q - 96 = 0. Let m = 13 - q. Let x be (4/(-10)*2)/(32/400). Is m less than x?
True
Let b = -196 - -195.83. Let p = 269 - 268. Are b and p nonequal?
True
Let b = 310 + -305. Suppose 2*q + h + 97 = 0, -2*h + 135 + 121 = -b*q. Is q not equal to -0.3?
True
Suppose 0 = 77*f + 61 + 93. Let z be 78/65*((-6)/f - -17). Let k be ((-54)/(-4))/(15/28). Which is greater: z or k?
k
Suppose g - 5*k = 2*g + 89, -k = 0. Let y = g + 61. Let d = 30 + y. Do d and 2 have different values?
False
Let j = 609/1018 - 11038525/18455322. Which is smaller: -1 or j?
-1
Let d = 3102 - 3102. Is d < -31/43?
False
Let t be -1 + (-10 + (-136)/(-14) - 3258/(-35)). Is 91 smaller than t?
True
Suppose 16*a + 11362 = -7*a + 42*a. Which is smaller: 4194/7 or a?
a
Suppose 10*c - 549 = -149. Let d be ((-56)/(-20))/(-7) - (-636)/c. Is d at most 16?
True
Let i(r) = -307*r - 3. Suppose -27*t = -32*t - 5. Let w be i(t). Are 304 and w nonequal?
False
Let y = 559 - 555. Let s(r) = 37*r - 148. Let o be s(y). Which is bigger: o or -3/92?
o
Let l = -5/643 - -4013/19933. Do -0.1 and l have the same value?
False
Let r be 4 - (-1 + -3) - 4. Suppose -r*g - 115 = -119. Let c be (-292)/(-6)*(6/(-4))/g. Is -72 at most as big as c?
False
Let h be 28 - ((-2)/(-4)*-2)/1. Let m = -2 + 31. Let w = -1 + m. Is h at most w?
False
Suppose 212 - 36 = -4*n. Let a = 82 + n. Let p be (-3)/(a/44 + -1). Is 21 less than or equal to p?
True
Suppose 8 = 7*w - 3*w. Suppose -j + w*j = -55. Let g = -45 - j. Which is greater: g or 8?
g
Let i = 2434 - 2385.8. Is i at most 0?
False
Let h = -620.2 + 620.26. Which is bigger: h or -81?
h
Suppose -4 = 299*n - 300*n. Suppose -5*l = -2*l - 9, n*p - 3 = -l. Which is bigger: p or 13/15?
13/15
Let b = -48 + 47.77. Let s = 104.24 + -0.24. Let m = -103 + s. Which is bigger: b or m?
m
Let s(m) = -4*m**3 + 2*m**2 + 5*m + 3. Let p be s(-1). Let o be p*(0 + -1)/4. Is o >= -22/9?
True
Suppose -2948 - 463 = 3*q. Let a be 77268/(-51)*(-15)/(-20). Let h = q - a. Which is bigger: h or 0?
0
Let r be (-14 - ((-30 - -9) + 10))/(-3 - 0). Which is bigger: 2/10161 or r?
r
Suppose 0 = 3*d - 2*k + 3 + 43, -5*k - 32 = 3*d. Let v = 50 - 65. Is d < v?
False
Let x(v) = -v**3 + 10*v - 2. Let a be x(3). Suppose -5*l = -2*l - 129. Let u be a + (87/l - 3). Do u and -1 have different values?
True
Let t be (-3)/4*(-16)/42. Suppose o - 11 = -8. Let h be 4/(-6)*((-45)/10 + o). Which is smaller: t or h?
t
Let r = 421984 - 144740510/343. Let x be 4/2*(-1)/2. Which is bigger: r or x?
r
Let n = -4581 - -7400. Which is smaller: 2818 or n?
2818
Let h be 116/(-6)*(-3)/2. Let g(n) be the third derivative of 5*n**4/8 + 29*n**3/3 + 300*n**2. Let l be g(-2). Is h >= l?
True
Let o be (2 - 0)/(56/476). Suppose 0 = -g - 8*m + 3*m, 0 = -2*g + m + 11. Suppose o - g = 12*i. Is 1/8 at least as big as i?
False
Suppose 0*z - 200 = 4*z. Let d be (1 + (-2)/4)*z. Let r = 14.586 - 15.586. Which is greater: d or r?
r
Let a = 80107 - 34686295/433. Is -1 at least a?
False
Let b be (-518)/(-2168) - 10/240*6. Let p = 539/73170 + b. Is -0.1 != p?
True
Let l be (8 - (-17736)/(-2220))/((-1)/(-780)). Which is greater: 9 or l?
9
Let n be 40/8*32/(0 + 2). Let d be n + (-1 - 0)/1. Let q = d - 46. Does 34 = q?
False
Let h = 5658 + -11387/2. Suppose 75 - 17 = -2*a - 4*j, -5*a - 169 = 4*j. Are h and a unequal?
True
Suppose -14*k = -10*k + 16. Let u(m) = 8*m**2 + 9 - 17 - m**2 + 5*m. Let a be u(k). Which is smaller: a or 83?
83
Let j = -241.66 - 5.34. Let r = -25 - j. Is r <= -1/2?
False
Let c(x) = -2*x**3 - 143*x**2 + 71*x - 72. Let k be c(-72). Which is smaller: 10/769 or k?
k
Let x = -0.266 - 33.734. Let c = 0.227 + -0.076. Let q = c + -0.051. Does x = q?
False
Suppose -5*u - 21 = 44. Let o(z) = -z**3 - 14*z**2 - 14*z - 6. Let c be o(u). Which is smaller: 10 or c?
c
Let f = 524 - 223. Let t = 295 - f. Which is smaller: 5/13 or t?
t
Suppose 3*f + 136 = 5*s - s, 0 = -3*s + 12. Let c be ((-16)/f)/(2/(-20)). Which is bigger: c or -9?
c
Suppose -w = 5*i + 1, -5*w + 34 = 4*i - 10*w. Let c = -1 + 38/41. Is i > c?
True
Let y = 16 - 14. Let j = 3 + y. Let w = -156.5 + 156.4. Which is smaller: j or w?
w
Let j be ((-2 - (-56)/(-16)) + 7)/((-18)/13). Let s(z) = z + 1. Let i be s(-3). Are j and i nonequal?
True
Let c(u) = 85*u**2 - 98*u + 14. Let d be c(4). Is d greater than 980?
True
Let z = -0.1609 - -19.1609. Let x = 0.04 - 0.04. Which is smaller: z or x?
x
Suppose -4*j - 3*g = -292, -j + 128 = j - 3*g. Let t be ((-2)/119)/(-1*(-15)/j). Let b = t + 29/153. Is -1 at least as big as b?
False
Suppose 4*z + 7*z + 1 = 1. Which is greater: z or -1/14813?
z
Suppose -3*z = 13 + 32. Let a = -3.9519 - 0.0481. Is 