st 13565?
True
Let r = 0.0977 - -0.5023. Let h = -22/185 - -12/185. Which is smaller: r or h?
h
Let f = -131 + 338. Suppose -13*l + f = 77. Let w be (6 - l)*94/8. Which is bigger: w or -45?
-45
Let t = 3717 - 3720. Is t not equal to 0.163?
True
Let a be (9/2 - 2) + 3/6. Suppose -5*f = -a*z - 21, 4*f - 6 = 2*f + 2*z. Which is bigger: f or 4?
f
Suppose 4238 = 4*z + j, 5*z - j + 1478 - 6762 = 0. Which is bigger: 1059 or z?
1059
Let g = 5348.778 + -5341. Let z = -0.222 - g. Is -4/7 bigger than z?
True
Suppose 4*s + 22*s = 988. Suppose -14*h + 4 = -s. Which is bigger: -88 or h?
h
Suppose 6*h - 168 = 3*h. Let u = 55 - h. Which is smaller: u or -17/14?
-17/14
Let i be (-64)/(-16) - 2*-105. Let k = -221 + i. Suppose -a - 1 - 7 = 0. Which is smaller: a or k?
a
Suppose 0 = 30*l - 22*l - 40. Let s be (-2)/(18/(-39)) - l. Is -8 != s?
True
Let s = 125/222 + 31445/666. Which is smaller: 49 or s?
s
Let i = -1859 - -1638. Let a(v) = 57*v + 6. Let r be a(-4). Do i and r have different values?
True
Suppose -5*d - 43 = l, -3*l - 8*d - 110 = -12*d. Which is smaller: -369/10 or l?
l
Let q be (11 + 3374/(-308))*(47 + -5). Which is greater: 3 or q?
3
Let s = -15 + -71. Let y = -38 - s. Is y equal to -2/3?
False
Let n = 763.581 + -665.45. Let x = 0.131 - n. Is -0.1 >= x?
True
Let m be (-5)/40 - (6 + 8/(-11712)*9759). Which is smaller: 2 or m?
m
Let p = -573.1 + 573. Do p and 86 have different values?
True
Let j = 28925 - 28926. Which is greater: j or -33/1156?
-33/1156
Let i = -925/4 - -229. Let p(x) = -3*x + 24. Let k be p(7). Suppose 2*n + 3 + k = 0. Is n > i?
False
Suppose -3*o + 8 = -5*o, n + 3*o = -13. Let b(t) = -t + 40. Let g be b(14). Which is smaller: g or n?
n
Let l = 123 + -384. Let t = -298 - l. Does -34 = t?
False
Let w = 2072 + -2071. Is -3/383 at most as big as w?
True
Let b be ((-126)/210)/(((-2)/(-110))/1). Let k(l) = l**3 + 34*l**2 + 34*l + 32. Let s be k(b). Which is bigger: s or -1/22?
-1/22
Let z = 5 - 2. Let n be (-53)/(1325/(-250)) + 2712/(-300). Is z greater than n?
True
Let f be 2/(-6) + (-3)/(-9) - -15. Suppose 129 = 3*b + 3*p, -3*p + 0*p - f = 0. Let r = -148/3 + b. Which is smaller: 0 or r?
r
Let w be ((-4806)/(-81))/(4/(-18)). Let c = w - -262. Is c less than 1?
True
Suppose 0 = c - u - 908, -4*u + 2 = -6*u. Are 907 and c equal?
True
Let m be 1137/15 + 12/60. Let f = m + -76. Which is bigger: -13/11 or f?
f
Suppose 3 = 5*o + 3*z, 186*o - 187*o + z = 1. Is o greater than or equal to 2624?
False
Suppose 38 = 20*n - 22*n + 5*v, -4*n - 3*v = 24. Is -109/12 less than or equal to n?
True
Let n = -24.7278 + -0.2722. Which is smaller: 49 or n?
n
Let b = 147595 - 2679587226/18155. Which is smaller: 0 or b?
b
Let z(q) = q**2 - 10*q + 7. Let g be z(9). Let b = 2/1879 - -99583/3758. Let v = b + -221/8. Is v at most as big as g?
False
Suppose -3*m + 12 = m. Let p = m + -4. Let h be ((-30)/9)/(-5) - (-700)/(-294). Do p and h have the same value?
False
Let r be 15 + 6 + -24 - -49*(24 - 4). Which is greater: 971 or r?
r
Suppose -25557 = -73*j + 6090 + 43835. Which is smaller: 1035 or j?
j
Let t be 563/(-2) - 9*21/(-378). Which is bigger: t or -280?
-280
Suppose 4*h - 2*u = 16, -322*h = -318*h + u + 8. Let r = 5480353/982485 + -6/21833. Let c = 28/5 - r. Is c > h?
True
Let v(m) = -2*m**3 - 10*m**2 - 8*m - 9. Let q be v(-7). Let w = -20589 + 20833. Which is greater: w or q?
w
Let b be -49 - (11 + -8) - (-2)/(-1). Let y be 4/2*(-57)/2. Let s = y - b. Is s equal to -2?
False
Let b(w) = 12*w + 89. Let q be b(-10). Let y = -813 + 813. Which is smaller: y or q?
q
Suppose -79 = -6*x - 55. Let q be (2/(-5))/(x*4/(-80)). Is 2 greater than or equal to q?
True
Let o = 0.98 + -64.98. Let p = 821 + -880. Let q = p - o. Which is greater: -2/5 or q?
q
Let i(s) = -223*s**3 - 7*s**2 - 16*s - 70. Let b be i(-3). Is 5936 at most b?
True
Suppose -580*j = -597*j + 85. Which is smaller: 130/21 or j?
j
Let o be (19/(-8)*10)/(33/(-132)). Which is greater: -39 or o?
o
Let d = -298276049/9010 - -33105. Is -1 > d?
False
Let z(h) = 5*h**2 + 42*h + 196. Let q be z(-9). Which is greater: 221 or q?
q
Let o = -0.5 - 0.5. Let j be 2/((-182)/(-133))*-227. Let y = 332 + j. Are o and y non-equal?
True
Let v(q) = q**2 + 10*q - 31. Let f be v(-12). Let i(m) = -m**3 - 17*m**2 - 19*m + 13. Let b be i(f). Is -0.1 smaller than b?
False
Suppose -2*o - 9741 = 3*h + 20173, -2*h + 2*o - 19946 = 0. Is 1 != h?
True
Suppose 4488 = -12*m + m. Is m greater than -410?
True
Let j = -37600 + 29257. Is j at least as big as 0?
False
Let o = 3468 - 3264. Which is greater: o or 203?
o
Let h = 1485.1 + -1444.1. Which is smaller: h or 82?
h
Let p = 16665 - 16662. Which is smaller: p or -6497?
-6497
Let r be ((-28)/756)/(19/6 - 3). Which is greater: r or -2.189?
r
Suppose 0 = -2*v + 22 - 14. Suppose -2*l = 4*u - 12, 2*l = -l + 3*u - 27. Let j be (0 + 2/l)*v/(-5). Is 18 equal to j?
False
Let m(n) = -n**3 + 2*n**2 + 6*n - 120. Let i be m(0). Let w be (-154)/145 - 144/i. Which is smaller: -1 or w?
-1
Let t be (-30)/75 - 17/(-5). Let x be (t/(9/4))/(80/840). Suppose 4*w = -3*o + x, 2*o + 9 = w - 0*w. Is o <= 1?
True
Let q = -271 + 271.2. Which is bigger: q or -216/7?
q
Let x(k) = -51*k + 77. Let h be x(-7). Let d = -332 + h. Are d and 101 equal?
False
Let o be 1*-296*(-30 + (-33079)/(-1102)). Which is smaller: o or -5?
o
Let u = -413 + 412. Let g be 3*u - (-15480)/5208. Is 1 bigger than g?
True
Let g = 1/655 - 1139/917655. Which is greater: -1 or g?
g
Let r be (-3 - -1)*4/(-8)*6. Suppose 0 = 3*g + 15 - r. Let a = g - -3. Is a < 2/105?
True
Suppose 137*k + 127 = 496*k - 232. Do k and 2/3923 have the same value?
False
Suppose 6 - 4 = o. Suppose -3*f + 8 = o. Suppose -1 - 29 = f*w. Which is bigger: -16 or w?
w
Suppose 0 = 4*r + 3*x + 6925, -2590 + 7785 = -3*r - 2*x. Is -1734 > r?
True
Let r be 185/74*74/(-5). Let h be (-6)/2*(-4 + (-65)/(-15)). Is r >= h?
False
Let g = -38 + 40. Let r(p) = 66*p - 6. Let a be r(g). Suppose -15*w = -6*w - a. Is 2 at most w?
True
Let r = 28 + 23. Suppose f + 4*f + 56 = -4*i, -4*f - 43 = 3*i. Let b be (-136)/r*i/(-2). Does b = -13?
False
Let d be ((-714)/(-56) + -15)*(-3544)/6. Is 2 not equal to d?
True
Let m = 12 + -13. Let x be m/(-4) + 216/32. Which is bigger: 45/8 or x?
x
Let r = -0.558 - -0.008. Let p = -2.55 - r. Let b = p + 19. Which is bigger: b or -2/5?
b
Let s(c) = 198*c + 12. Let i be s(2). Let y = i - 138. Is y bigger than 271?
False
Let u = 179 - 178. Let l be 4*4/(-48)*u. Is l greater than or equal to 95?
False
Let j(y) = y**3 - 10*y**2 - 10*y + 171. Let s be j(9). Which is smaller: -27/220 or s?
-27/220
Let q = 2697 + -2697.1048. Do 3 and q have the same value?
False
Suppose -4*g = 5*n + 1384, 9*n + 275 = 8*n + g. Is n > -294?
True
Suppose 2*c = -3*c + 1130. Let w = 106 - c. Let z be (1/2)/((-3)/w). Is 21 bigger than z?
True
Suppose 2*o + i + 1 = 0, -3*o - 45*i = -46*i - 6. Do o and 75/139 have different values?
True
Let s = -3978 - -4179. Which is smaller: 3 or s?
3
Let c = 10487.9485 + -10488. Which is smaller: -11 or c?
-11
Let l = 3/28196 + -967571/28196. Which is bigger: -35 or l?
l
Let w be 0 + (-6)/8 - (-1781)/(-52). Let m be (-12)/32 + w/(-8). Which is greater: 3 or m?
m
Let l = 1743 + -1077. Let f = l - 128539/193. Is f smaller than -2/5?
False
Let r = -1969/5208 + 2/651. Let j = 4.424 + 11.576. Which is bigger: r or j?
j
Suppose -104 = -17*z + 32. Suppose z*m + 5 = 13*m. Which is smaller: m or 15/7?
m
Let l be 42/(-4)*40/70 - -4. Let x(p) = -p**3 + 9*p**2 - 10*p + 11. Let u be x(8). Let m be (-2)/u - (-126)/(-40). Do l and m have different values?
True
Suppose -22*n = -21*n + 1. Let g be (n + 4)/((-27)/(-144)). Suppose 5*l - 3*l - 30 = 0. Does l = g?
False
Let b be (4245/12 + (-6)/(-8))/(80/640). Is 2836 less than b?
False
Let p = 729 + -682. Suppose -22 = -p*r - 116. Is r at least 20?
False
Let o = 23 + -116. Suppose 3*x = -155 - 118. Let q = o - x. Which is smaller: -9/4 or q?
-9/4
Let n be ((-6)/15)/((-8)/10). Let u(y) = y**2 - y + 2. Let t be u(1). Suppose 0 = 3*x + h - 6, -x + t*h + 2 = 5*h. Which is smaller: n or x?
n
Let r(o) = -o**2 - 66*o + 512. Let u be r(-73). Let b = -89041237817/265 - -336007671. Let f = b - 3000. Which is smaller: f or u?
f
Let k = -37 + 44. Suppose -k*z - 60 = -11*z. Let c be z*5/(-15)*-2. Which is smaller: 7 or c?
7
Let q = -2275 