0. Let x be t(-6). Which is bigger: x or r?
r
Let t = 0.154 - 0.08. Let r = 8.674 + -8.8. Let m = r - t. Is -0.2 < m?
False
Let d be (-1580)/(-6705) - 2/9. Let k(i) = i**3 - 61*i**2 + 61*i - 60. Let v be k(60). Which is bigger: v or d?
d
Suppose -u + 5*p + 23 = 0, 0*p - 18 = 4*u + 2*p. Let v = u - -4. Let q be (-12)/10 - v/(-10). Which is smaller: q or -2/27?
q
Let z = -41.7 - -40. Let h = 1.7 + z. Is -0.03 bigger than h?
False
Let z = -2477 - -2478. Let w = 17.07 - 0.07. Is z equal to w?
False
Suppose -40 = -g - 5*b, 4*b - 120 = -2*g + 2*b. Let x = -40181 + 40246. Do x and g have different values?
False
Suppose 12*y - 23*y + 13*y = -1952. Which is bigger: y or -978?
y
Let b = 48.61 - 45.61. Which is greater: -1/93 or b?
b
Let l(v) = -v**2 + 11*v + 18. Let a be l(11). Suppose -3*p - 3*f = -a, 9 = -p + 2*f - 0*f. Which is greater: p or -1?
p
Let m = -4/48662152601 + 38903249870032620/3011749286628491. Let r = m + -762/59. Is r greater than or equal to 0?
True
Let r(b) = b**2 - 18*b + 39. Let f be (4/(-5))/(6 - (-128)/(-20)). Suppose 38 + 42 = 4*s + 5*w, -3*w = -f*s + 18. Let g be r(s). Which is greater: g or -7?
g
Let v = 12 - 4. Let o = -11.7 + 18. Let m = 8.3 - o. Are v and m unequal?
True
Suppose -3*l = 2*q - 6, 2*l + 2*l = 2*q - 6. Let b = 53253/17 - 3134. Which is smaller: b or l?
b
Let u = -137 + 299. Let g = 161 - u. Let z be (-4)/(-14) - (-36)/(-28). Is g < z?
False
Suppose 3*j = j + 5*s + 39, -4*j + 73 = -5*s. Let p = 5/303 + 571/2121. Which is greater: p or j?
j
Let l = 42 - 73. Let d = l - -93. Let c = d - 58.2. Is -2/3 <= c?
True
Suppose 324 = h + 2*h + 3*g, -423 = -4*h - g. Suppose -4*w - 9*w + 1378 = 0. Is h equal to w?
False
Suppose 0 = 3*s + 547*j - 551*j - 1501, 0 = s - j - 502. Are s and 504 equal?
False
Let h be ((-552)/(-45))/((-21)/12390). Is h < -7238?
False
Let s = 5031 - 4259. Which is smaller: s or 2?
2
Let s = -22 + 27. Suppose -2*x - 2*q = 6, -s + 17 = x - 4*q. Let r(a) = -a**3 - a**2 - 1. Let j be r(x). Which is smaller: j or -10/9?
-10/9
Let p = -14.81937 - -0.21937. Which is smaller: p or 7?
p
Let l = 7 - 20. Let n = -10 - l. Suppose o + 9 = -2*a, -5 = n*o - 2. Which is smaller: a or -6?
-6
Let x = 11348530/1233 + -9204. Which is smaller: x or 0?
x
Let f = -118 + 114. Let b be 54/(-15)*(f - 54/(-12)). Which is bigger: -0.08 or b?
-0.08
Suppose -210 = 13*v - 11*v - 4*h, -3*h + 684 = -6*v. Let k be -115 - (-1)/((-3)/(-3)). Is v <= k?
True
Let q be 4 - (-4)/10*(-6255)/278. Are q and 475 nonequal?
True
Let y = -624 - -668. Let k be 17/y - (-36)/(-144). Let q = -0.3 - -0.2. Is q smaller than k?
True
Suppose 4*g = 7*g + 3. Let v = -3/1429 + -2597/124323. Let s = v - 49/1653. Do s and g have different values?
True
Let g = 2186 - 1102. Let k = g - 1084. Let u be 796/10 - 4/(-10). Which is greater: u or k?
u
Suppose -50*s + 200 + 900 = 0. Is 366/17 < s?
True
Let g = 11063 - 11064. Is g smaller than -4095?
False
Let t(n) = n**3 - 15*n**2 - 22*n. Let c be t(17). Suppose -12*u - 5*x = -13*u + 45, 4*u = -4*x + c. Is -0.2 not equal to u?
True
Suppose 3*z - 24 = -3*g, 242*g = 237*g - 2*z + 40. Suppose 12 + 6 = 2*o. Which is greater: g or o?
o
Let y be (9576/588 - (-2)/(-7))/(-1). Does y = -157/10?
False
Let f = -6256 + 6321. Which is smaller: 62 or f?
62
Let q = 19/31481 - 385937/378653468. Does -1 = q?
False
Let i be (22/38)/(4 - 3159/780). Is i greater than -12?
True
Suppose 4*w - 9*t + 10*t + 225 = 0, 3*t + 105 = -2*w. Let m be (2/(-18))/(w/(-38)). Which is bigger: 2/7 or m?
2/7
Let m = 0.06874 - 229.06874. Is m greater than -3?
False
Let u = 15077 + -15076.4. Is 11/5 less than or equal to u?
False
Let w(m) = 2*m**3 - m**2. Let n be w(-1). Suppose -3*i = -5*x - 940, 2*i = i + 4*x + 325. Let p be 4/6 + i/(-120). Does n = p?
False
Let s(j) = -j**3 - j**2 + 5*j - 5. Let q be s(-3). Suppose -8*r - 208 = -6*r. Let d be (-52)/(-13) - r/(-18). Which is greater: d or q?
d
Let o = -0.8 + 0.87. Let y = -3 + 3. Let q = y - o. Does q = -2?
False
Let x be 8/(-2)*303/(-6). Let f = -144 + x. Is f equal to 1/3?
False
Let q(c) = c**3 - 9*c**2 - 28*c - 68. Let w be q(-6). Which is smaller: -18 or w?
w
Let n be (4 - (4 + -5)) + -5. Let q be 116/36 + (-3 - n). Which is smaller: 6 or q?
q
Suppose 0 = 2*a + 8, -y + 8*a = 5*a - 65. Let l = y + -54. Is l != 6/17?
True
Let c = -3299 + 3115.5. Which is greater: 8/5 or c?
8/5
Let k = 4084 + -4084. Are 10/597 and k equal?
False
Let x = -7659 + 7662. Which is greater: 6 or x?
6
Let u be (-2)/(16/6)*4260/3195. Let t = 61867/1320 + -375/8. Which is greater: t or u?
t
Let n be ((-66)/(-10))/((-4)/40). Suppose 10*b + 246 = -28*b - 2186. Which is greater: b or n?
b
Let r = 28 - 28. Suppose 7*i - 5*i = r. Suppose 0 = -3*a + 21 + 39. Which is bigger: a or i?
a
Suppose 5*k + 7 = -t, 4*k - 7 = -0*t - 5*t. Let m be t*((-7)/(-3) - -2). Let g(n) = 19*n + 204. Let i be g(-10). Which is smaller: m or i?
m
Let z(s) = s**3 + 39*s**2 + 173*s + 64. Let b be z(-16). Which is greater: b or 1?
b
Let m = 6553 + -6566. Let r = -0.12 - -2.12. Is r bigger than m?
True
Suppose 153553 = -89*z + 23*z - 14153. Which is bigger: -2540 or z?
-2540
Let q be (-6)/9 + (-4)/(-6). Let k(f) = -f + 13. Let c be k(10). Suppose -c*g + 130 = 5*h + 2*g, -g + 4 = q. Is h not equal to 21?
True
Let j(n) be the first derivative of 11*n**3 - 3*n**2 + 4. Let r be j(1). Which is bigger: r or 41?
41
Let x = 1407/8 + -11907/8. Let z = x + 1282. Are z and -32 equal?
False
Let f(y) = y**2 - 2*y - 1. Let z be f(-6). Suppose 4*n - 237 = -5*k, 198 = k + 3*k - n. Which is greater: k or z?
k
Let h = 163.88 - -29.02. Let n = -193 + h. Let m be 72/3 + 1*2. Is m less than n?
False
Suppose -5*w + 75 + 120 = 5*r, -w + 45 = 4*r. Let z = w + -34. Suppose 5*m - 7 = -3*x - x, 0 = z*x - 3*m - 39. Is 8 greater than x?
False
Let i = 253/10 - 25563/1010. Which is greater: i or -9?
i
Let k(g) = -31*g + 2298. Let z be k(76). Does 13 = z?
False
Suppose 112 = 12*t + 2*t. Suppose -327 + 319 = t*m. Let z be (18/16)/(-3)*6. Which is smaller: m or z?
z
Let o be (-2)/(-10)*-3*5/23094*-4. Are o and 0 nonequal?
True
Let i(w) = -453*w**3 - 2*w**2 + 154*w - 480. Let r be i(3). Which is smaller: r or -12268?
-12268
Suppose -564*q = -578*q - 252. Is q <= -128?
False
Suppose 2*j + 0*j = 38. Suppose -3*b = -5*v + 73, -v = 5*b - 3*b - 12. Suppose 10*r - v*r = -76. Is r less than or equal to j?
True
Let v be 1*4 + ((-63)/(-21) - 7). Is 21.17 equal to v?
False
Suppose 3*n + p = -1 - 0, 5*n + 2 = -2*p. Let m = 15550129/31261 + -6838/727. Let b = m - 488. Which is smaller: b or n?
n
Let g = -74.98 - -75.389. Is 1/6 at most as big as g?
True
Let b = -932 - -924. Which is smaller: b or -258/37?
b
Suppose 0 = 61*g - 31*g + 69 + 591. Let t = 79636/7 - 11400. Is t at least g?
False
Let a = -131 - -291. Suppose -9760 = -4284*o + 4223*o. Are o and a equal?
True
Let t = -813 - -814. Is -4/13 greater than or equal to t?
False
Let c = 147.62 + -150. Let h = 3.38 + c. Which is smaller: h or -25/2?
-25/2
Suppose 0 = -49*c + 648 + 499 + 2724. Is c at least as big as 1044/13?
False
Let h be ((-13)/(910/56))/(843560/(-25) - 2). Which is smaller: h or 0?
0
Suppose 304*f = 355*f + 102. Which is greater: 319/7 or f?
319/7
Suppose 11*m = 7*m + 216. Let f be (1/2)/((-1)/106). Let q = m + f. Which is bigger: q or -2/229?
q
Let t = -0.3 - -1.3. Let o = 24 + t. Suppose 122*w = 48 + 17 + 57. Which is smaller: o or w?
w
Let g = 152434/4719 - 420/13. Let y = -359/726 + g. Which is greater: -7 or y?
y
Let n = -15395 - -107953/7. Does n = 28?
False
Let y = -2251441/14 + 160817. Let j = 0 + -2. Let w be (-9)/(-15) + j/(-5). Is y < w?
True
Let n(g) = -g**3 + 50*g**2 + 396*g + 265. Let t be n(57). Is t <= 98?
True
Let z = -8 + 8. Suppose 2*n + 4 = 0, u + 44 = 6*u + 3*n. Let y be 36/2115*-1*u/4. Which is bigger: y or z?
z
Let b = 4829 + -5107. Which is smaller: b or -284?
-284
Suppose -4*q + 23 + 9 = l, -l = 5*q - 37. Suppose 10*k - 8 = l. Suppose 3*d = 6, 94 = k*m - d - 64. Do m and 80 have different values?
False
Let o be 2 + (542/(-4))/((-12)/144). Suppose -o - 6548 = -14*p. Suppose -2*s + p = -10*s. Do -73 and s have different values?
False
Let o be (-550)/148 + 12 + (144 + -8)/(-17). Is -1 at most o?
True
Suppose -7*x + 3*x = -384. Suppose 16*z = 4*z + x. Suppose -z*h + 6*h = -14. Is 11/2 at least h?
False
Let c = -285