 - 1092. Let x be 1482625/2454 + 22/12. Which is smaller: x or d?
d
Let h(m) = 25*m + 10. Let u be h(3). Let g(p) = 2*p**2 - 33*p + 101. Let j be g(16). Is u at most as big as j?
True
Let r(i) = 153*i**2 + 6*i - 2. Let k be r(1). Does 157 = k?
True
Let z = -108.2 + 123. Let n = 39.8 - z. Let a(l) = l - 3. Let r be a(4). Which is greater: n or r?
n
Let s(r) = -2*r + 2. Let d be 20/25*1*5 - -7. Let g be s(d). Let b = g + 29. Which is smaller: b or 7?
7
Let k = -0.126 - 131.374. Let g = k + 5.5. Which is bigger: g or 0.1?
0.1
Let r = 48 + -44. Let f(g) = 2*g**2 - 8*g - 3. Let u be f(r). Let j = -23 - -11. Is j at least as big as u?
False
Let l(n) = 8*n**2 - 2*n + 3. Let i be l(-3). Suppose 17 + i = -j. Let s be ((-10)/35)/(2/j). Which is smaller: s or 1?
1
Let q = -17578903/416 + 42257. Which is smaller: 1 or q?
q
Let u = -2376 + -500. Is u < -2876?
False
Suppose -8*v + 3*v - 4*n = 5, 2*v = 5*n - 35. Let t be 0 - v - (-5 + -15 - -5). Let l = 20 - 1. Is l less than t?
True
Let o(w) = 3*w**2 - 2*w + 19. Let c(r) = 4*r**2 - 2*r + 20. Let j(x) = -4*c(x) + 5*o(x). Let l be j(-5). Let t = 4 - 4. Is l less than or equal to t?
True
Let s = -8.02 - -0.02. Which is smaller: 63.8 or s?
s
Let y = -2.3222 + 3.5222. Is y at least as big as -2.8?
True
Let t = -378.5 + 378.9. Which is greater: 44 or t?
44
Suppose 5*r + 8 = 4*h, 4*r - 2*h = -6*h + 8. Let t = 66.92 - 65. Let w = 15.92 - t. Is w greater than r?
True
Suppose 24*w + 681 = 9. Which is bigger: -166 or w?
w
Let i = -199 - -1793/9. Let u = 14207 - 14200. Is u >= i?
True
Let t = 6 - 6. Let k be 9/(-18) - (-1)/((-4)/(-182)). Let b be (-123)/k + 6 + -2 + -1. Is t less than b?
True
Let y be 1*4/(-4) - -4. Let g be (-1)/y + 2/(-9). Let i be (-7)/(1 - -6)*(-1 + 2). Which is smaller: g or i?
i
Suppose 7*t = 12*t - 705. Let o be ((-7)/((-147)/(-14)))/(2/t). Let x = o - -105. Which is smaller: -2/7 or x?
-2/7
Suppose -2*s = -3*h + 4*h - 7, 0 = h - 2*s + 1. Suppose -h*k - 3*x + 3 = -24, 2*k - 5*x - 53 = 0. Is 14 bigger than k?
False
Let x = 0.06992 + 0.03008. Which is greater: x or 1.3?
1.3
Suppose -3*v = -27 - 78. Suppose 3*t + t + 140 = 0. Let w = t + v. Is w less than or equal to -16?
False
Let u = 0.9 + 2.1. Let x = -1125.985 + 1126. Is x < u?
True
Let o = -29.945 + 29.845. Is o at least as big as -1883/16?
True
Suppose q + 0*i + 3 = i, -6 = 3*q - 2*i. Let k(z) = -2*z - 30. Let w be k(q). Let d be -12 + 8 - w/7. Is d at most -4?
False
Suppose -4*v = -3*h + 50, -5 = -3*v - 5*h - 28. Suppose 57*y = 251*y + 1358. Which is greater: y or v?
y
Let a = 1702813/834 + -6125/3. Is a less than 1?
True
Let r = -29407 - -30048. Which is smaller: r or 627?
627
Suppose 4*i - m = -873, 62 = 3*m + 59. Let o(v) = 53*v - 5. Let h be o(-4). Which is bigger: h or i?
h
Let w be ((-56)/(-56112))/(2/(-12)). Let r be 5528/276*6/668. Let g = r + w. Is g greater than or equal to 0?
True
Suppose 3*f - 4*y - 1736 + 73 = 0, 2791 = 5*f + 3*y. Is f at least as big as 565?
False
Let j be 6/(-4) + 1715/14. Let d = j + -118. Suppose d*f = 5*q - 15, -f = 4*q + 4 + 1. Do 1/113 and q have different values?
True
Suppose -3*j - 9 = 3*v, 3*v - 5*j + 43 = 2. Let c be 8/16*-26 - v. Which is bigger: c or -7?
c
Let d be (0 + (-2 - -1))/(2/22). Let h be -44 + -2 + 7 + -11. Which is smaller: d or h?
h
Let a = 20960 - 20960. Which is bigger: 2/125323 or a?
2/125323
Let t(v) = 3*v + 1. Suppose -3*h = 12 - 0. Let n(r) = -10*r - 4. Let b(w) = h*n(w) - 14*t(w). Let j be b(10). Do -18 and j have different values?
False
Let p = 3.1585 - 0.1585. Let l = 0.8 - 6.8. Is l >= p?
False
Let j(b) = 8*b - 5. Let f be (3/(-9))/((-7)/126). Let m(i) = 23*i - 15. Let q(o) = f*m(o) - 17*j(o). Let z be q(5). Which is greater: -2 or z?
z
Let c = -24460801/1820 + 13440. Are c and 0 nonequal?
True
Let s = -2794 + 2793.861. Which is greater: 0.1 or s?
0.1
Let p(l) be the third derivative of -5*l**4/24 - 4*l**3/3 - 180*l**2. Let h be p(4). Is -86/3 at most h?
True
Let n = 809766/13 + -62232. Let t = 2/54477491 + -1550483872339/26911880554. Let j = t + n. Which is smaller: 1 or j?
j
Suppose 5*p - 6*p + 3*n + 12 = 0, 0 = p + 3*n + 12. Which is smaller: p or 2/8223?
p
Let t be -3*(-15)/27 - 1. Let n = 145.4 - 36.1. Let q = -109 + n. Which is bigger: t or q?
t
Let n = 314 + -317.14. Let q = n + 2.74. Is q less than -0.079?
True
Let p = 34 - 34. Suppose 5*g + 203 + 317 = p. Let s be (1/14)/((-4)/g). Is s less than or equal to 2?
True
Let h(a) = -a**2 + 10 + 17*a + 5 - 87. Let j be h(9). Are -1/426 and j equal?
False
Let d = 9952 - 18152447/1824. Is 0 less than or equal to d?
True
Let g = 0.2 - -0.1. Let i = -0.2 - g. Let w(s) = -125*s - 373. Let f be w(-3). Which is bigger: i or f?
f
Suppose -2*n + 4*h = h + 32, -3*n - h = 59. Let q = 22 + n. Suppose 4 = -q*l + 4*j, 6*l - 3*l + j - 1 = 0. Which is bigger: l or -5/17?
l
Let c = 0.056 + -0.106. Let g = -0.06 + c. Let d = -25.8 - -26. Which is smaller: g or d?
g
Let j = -12901 + 12695. Which is greater: j or -0.019?
-0.019
Let j = -3.92329 - -24.05519. Let a = -0.1919 + j. Let h = a + 0.06. Which is smaller: h or 1?
1
Suppose 3*z + 5 = 3*n + 26, 0 = n + 4*z - 28. Is -2/44109 at most as big as n?
True
Suppose 14*f = 899 + 431. Let n = -104 + f. Is n at most -4?
True
Suppose 0 = 5*t - 20, 3*f - 2*t - 2*t = -619. Let a = -199 - f. Is a greater than 5/8?
True
Let y be 0/((-2 + 3)/1*(-1)/1). Is y less than 65/86?
True
Let o = -15192 - -15016. Which is greater: o or -85?
-85
Let h = 462.2 - 462.2. Does -1/128 = h?
False
Let b = -33142 - -33817. Is b less than 676?
True
Let q = -31 - -21. Let a(z) = -z**3 - 5*z**2 + 14*z + 4. Let v be a(-6). Let x = 40 + v. Which is smaller: x or q?
q
Let w be 34/(-88) + (-1)/4. Suppose 3*g - 1 = -2*s, 16 = 5*g + 3*s + 15. Which is smaller: w or g?
g
Let t = -10012 - -9951. Is -81 less than t?
True
Let r be (-2546532)/(-18468) - (-8)/(-9). Suppose 0 = -2*k - 2*k + 544. Which is bigger: k or r?
r
Let r = 0.74404 - -1.05596. Suppose -4*f + 24 = -0*f. Is f <= r?
False
Let b be (-3)/9*(0 + 0). Suppose -5*m - m + 36 = b. Let r be ((-4)/16*m)/((-3)/2). Which is bigger: r or -3/8?
r
Let f be 0*(-104 - -102)*(-2)/(-12). Let l be (-728)/4246 + (-10)/(-55). Which is smaller: l or f?
f
Suppose -3132 = 4*v - 3*r, -3*v + 5*v - 2*r = -1566. Let l = -144075/184 - v. Which is smaller: l or 1?
l
Let s = 6200 - 6241. Which is greater: -64 or s?
s
Let t be (-4)/(-2) - (-5)/11. Suppose -4*s - 3*a = -40, -15*s + 2*a - 19 = -10*s. Which is bigger: t or s?
t
Let r = 14505 + -14503. Which is bigger: r or -186.1?
r
Suppose -11*r - 46 - 64 = 0. Let n be 1629/81 + r - 6/(-2). Which is smaller: n or 14?
n
Let j be (0 + -4)*(-6)/((-96)/(-20)). Suppose j*p - 10*p = -920. Is p greater than 184?
False
Suppose -4*q + 0 + 5 = o, -3*q + 3 = 0. Let r be 6/(-10) - (6 - 156792/24570). Let d = r + 1/234. Which is smaller: d or o?
d
Let l = -261.29 + 260. Let u = 2.29 + l. Let z = -10 + 9.94. Is z at most u?
True
Suppose 0 = p - 15 - 124. Suppose 4*i - p = -i + o, 85 = 3*i + o. Let s = 3 + i. Are 32 and s equal?
False
Let o(y) = 13*y**3 + 2*y**2 - 2*y - 1. Let g be o(2). Let c = 3712196/3 + -1237398. Is c at least g?
False
Let n be (27/(-4))/((-37)/1480). Suppose 5*z + 0*z - f - n = 0, 0 = z + 4*f - 54. Is z at most 53?
False
Let x = 10783/12918 - 3/2153. Which is bigger: x or 6?
6
Let l = -62190 + 30199. Which is smaller: l or -31992?
-31992
Let d = -2.7 - -2.6. Let j = -22/105 + 241/315. Which is greater: j or d?
j
Let r be (16/24)/(-1 - 1803/(-1809)). Are -199 and r equal?
False
Suppose -63 + 623 = -5*p. Suppose -20 = 4*l, -4*u - 108*l + 106*l - 454 = 0. Which is smaller: u or p?
p
Let l = 221 - 218.01. Let f = l + 0.51. Let q = f - 5.2. Which is smaller: q or -3?
-3
Let b(j) = -141*j - 1135. Let h be b(-10). Which is bigger: 269 or h?
h
Let v = 489.79 - 492. Let j = v - -2. Let i = 0.01 + j. Which is smaller: -11 or i?
-11
Suppose -352*p - 1239601 - 207039 = -81936. Is -3877 less than p?
False
Let y = -9092.1 - -9093. Which is smaller: -0.503 or y?
-0.503
Suppose -611 = -11*f - 149. Let d = -474 - -513. Do f and d have the same value?
False
Let l(g) = -67*g + 534. Let d be l(8). Let m(n) = 4*n**3 - 3*n**2 - 4*n - 2. Let k be m(-2). Let a be k*(-1)/(-18) + 1. Which is bigger: d or a?
a
Let s be (-2 - -119) + -1 + (-2)/1. Let b = 571/5 - s. Which