- -271815/103. Suppose 0 = -3*g + 9, 2*g + 8 = 2*w + 4*g. Which is bigger: v or w?
w
Suppose -2*l + 5*l + 180 = -3*y, 2*y = 5*l + 321. Which is smaller: l or -60?
l
Let j be (469/(-126) - -4)/(-1). Which is smaller: j or -3/4?
-3/4
Let p = 27 - 60. Let b = p - -31. Is b less than 12?
True
Let s = -15633/13 - -1203. Let i(b) = b**3 + 4*b**2 - 1. Let d be i(-4). Is s greater than or equal to d?
True
Let b = 768/15839 - 2/337. Are b and 1 non-equal?
True
Let p = 1157/6 + -193. Which is greater: p or -8.6?
p
Suppose 18*l - 14*l = 16. Suppose -4*d = -5*y - 17 + 6, 0 = 2*y - l*d + 14. Which is greater: 1/106 or y?
y
Let s = -753 + 754. Which is smaller: s or -2/1365?
-2/1365
Suppose 166 = 2*n - j - 225, 0 = 3*n + 3*j - 564. Which is smaller: 194 or n?
n
Let a = 80.7 + -81.7. Is a smaller than 377?
True
Let x be 6/(-5)*38/(-6). Let p = -1915 - -9612/5. Let q = x - p. Which is smaller: q or 0?
0
Let g = 878 + -878. Which is smaller: g or 3/76?
g
Let f = -0.2193 - -318.2193. Is 0.1 greater than f?
False
Let n be (-3)/(-2) - (246/24 - 9). Suppose 0 = -2*a - 0*a - 3*s - 11, 28 = 4*a - 4*s. Let d be -2 - (34/(-9))/a. Is d less than n?
True
Let y be (-144)/(-90) + (-4)/(-10). Suppose 5*u + 2*h = 60, 2*u + 3 = 5*h - y. Let n be (12/u)/(28/(-70)). Which is bigger: n or -1?
-1
Suppose -4*c = -0*c + 20, -2*r + 2*c = -10. Let y be (r + 0)*(-10)/(-20). Which is smaller: 5/7 or y?
y
Let l(v) = v**2. Let y be l(2). Suppose -7 = y*f + 13. Is f <= 5?
True
Let x be 4*2 + (-5700)/870. Which is bigger: x or 1?
x
Let g be 6/(-21) + 9/(-42). Let i = 26 + -28. Let t be (-14 + 15)/(1/i). Which is smaller: g or t?
t
Let u = 0.5 + -0.8. Let r = 0.03 + 0.47. Let h = r + -0.4. Is u at least as big as h?
False
Let r be 7/(-1*-1*1/(-7)). Let o = r + 49. Which is greater: o or -2/7?
o
Let q = -49 - -46.4. Let f = -2.7 - q. Which is greater: 23 or f?
23
Let l(r) = r**2 - 3*r - 4. Let f(a) = -a. Let w(m) = -3*f(m) + l(m). Let v be w(-3). Suppose v*z + 2*s = -s - 2, -3*z - 5*s = -2. Is z >= 2/17?
False
Suppose 21*j + 55 = -3*u + 17*j, 0 = -5*u - 2*j - 87. Are -22 and u equal?
False
Let s = -262 - -400. Is s less than 136?
False
Let t = -41332/11 + 3754. Let d = 472390 + -46767106/99. Let b = t - d. Which is greater: b or 1?
b
Suppose -2*v - 98 = -100. Which is greater: -4 or v?
v
Let v = 0.18 + -24.18. Let n = 16 + v. Is n less than -0.1?
True
Suppose 0 = -4*p - 3*x + 7*x - 36, -2*p - 12 = 4*x. Suppose 4*l = 11*l + 28. Is l smaller than p?
False
Let j(o) = -o + 18. Let x be j(17). Let v be (1 - x)*11/(-11). Is 1/47 less than or equal to v?
False
Let s = 0.13 - -0.87. Let a = -6 + s. Do a and -1 have different values?
True
Let y = -23 - -34. Suppose -y + 1 = -j. Is 2/3 < j?
True
Let u(a) = 2*a**3 + 74*a**2 + a + 24. Let o be u(-37). Is -11 at most o?
False
Let h = 3254271/23770474 - 344/20937. Let l = 2/393 - h. Which is smaller: 1 or l?
l
Let v(p) = p**3 - 2 + p - 12*p**2 - 22 + 3*p - 2*p. Let w be v(12). Are w and -6/11 equal?
False
Let c = -8 + 18. Suppose -3*p = c + 11. Which is bigger: -3 or p?
-3
Let i be (60/(-25) - -2) + (-411)/(-15). Is 23 >= i?
False
Let l = 730 + -547. Which is smaller: l or 182?
182
Let r be 21/(-105) + (-712)/(-10). Let a = r - 77. Do a and -6 have the same value?
True
Let r be (-3 - -6)*(1 + 0). Suppose -r*m = 4*s - 26, 2*s = -3*m + 2*m + 12. Let q be 6/m*15/(-9). Is -5 equal to q?
True
Let q(w) = -2*w**3 - 13*w**2 + 17*w**2 + 3*w**3 - 1. Let n be q(-4). Let p be (-12)/56 - 1 - n. Which is bigger: 0 or p?
0
Let l be 9 + (-714)/78 - (-15)/13. Suppose o = 2*y + 2*o + l, 0 = 2*y + 5*o + 13. Is y >= 4/59?
True
Let s = -93 + 95. Suppose -5*x + x - s = -2*i, -5*x = 2*i - 11. Is -6/5 at least as big as x?
False
Let h = 202 + -607/3. Is h not equal to -1/9?
True
Suppose -4*j = -6*j + 26. Which is smaller: j or 3?
3
Let m(g) = 7*g - 3. Let b be m(2). Suppose -b*v + 56 = -54. Is 0 less than or equal to v?
True
Suppose -2*x + 26 = 2*h - 0*h, -5*x - 7 = -4*h. Suppose i + h*i = 0. Suppose -3*o - 2 = -o + 2*q, i = -5*o - 2*q + 1. Is -2/15 at least as big as o?
False
Let h(i) = i**3 + 3*i**2 + i + 5. Let p be h(-3). Let v be (-2)/(p*1/(-8)). Suppose 0 = -12*t + v*t. Is t at most as big as 0.16?
True
Let b = -0.17 + 8.17. Let y = -0.015 + 0.115. Which is smaller: y or b?
y
Let z be ((-1)/(-3))/(-1*14/42). Which is greater: z or 24/61?
24/61
Let k = 753 - 757. Let z be 0/(3 - 1 - 1). Which is smaller: k or z?
k
Let k = 3 - 17. Let l = k + 23. Suppose -4*r - 4*g = 0, -4*r + 4*g = r - l. Which is smaller: r or -1/27?
-1/27
Suppose 11*z - 6*z - 59 = -4*i, 3*z = 5*i - 83. Let s(p) = p**3 - 6*p**2 - 8*p - 5. Let q be s(7). Let r = i + q. Is 4 at most r?
True
Let h = 41 - 41.1. Which is bigger: h or -7/33?
h
Let y = 1 + -2. Let p be (2 + 4)/2 - 3. Suppose -3*d = -p*z + 4*z + 4, -d + 24 = -5*z. Is y greater than z?
True
Suppose -y - 3*x = -61, -143 = 2*y - 5*y - x. Let h be (-17960)/(-87)*y/4. Let z = 2374 - h. Is z at most 1?
True
Suppose -8 + 3 = -f. Suppose -25 - 10 = -f*u. Is u bigger than 8?
False
Let y = 68/7 + -1163/119. Let n be (3/(-6))/(2/(-20)). Let r = 6 - n. Which is bigger: y or r?
r
Let h = 188/145 + 32/29. Let q be -2*6*(-4)/16. Is h bigger than q?
False
Let i = -58 - -82. Let c = 22 - i. Suppose 0 = 2*p - p. Is c smaller than p?
True
Let v be (1/3)/((-30)/16650) - -5. Which is bigger: v or -179?
-179
Let r be (2 + -1)/(1/3). Let d = r + 5. Let x be 28/(-240) + 2/d. Which is smaller: 1 or x?
x
Suppose -6*t + 3*t = 0. Suppose t*q + 6 = q. Suppose 4*j + q + 18 = 0. Which is bigger: j or -5?
-5
Let v = 20.55 - 21.55. Is -434 equal to v?
False
Suppose 51*g = 19*g - 704. Let q(i) = -3*i**2 - 5*i + 2. Let r be q(2). Is g at least r?
False
Let x(w) = w**2 + 10*w + 10. Let l(m) = -2*m**2 - 11*m - 10. Let a(b) = -2*l(b) - 3*x(b). Let p be a(9). Which is smaller: 2/7 or p?
p
Let f(d) = d**2 - 8*d + 3. Let i be f(7). Let t(z) be the third derivative of z**4/6 + 3*z**3/2 - 5*z**2. Let w be t(i). Which is bigger: -6 or w?
-6
Let q be (-20)/(-465)*12/8. Which is bigger: -1/7 or q?
q
Let n = -165/287 - -1/287. Let x(s) = -s**2 + 5*s - 5. Let r(f) = -1. Let c(m) = r(m) - x(m). Let y be c(4). Which is bigger: n or y?
y
Let g = 564 + -563. Which is greater: -2/361 or g?
g
Let s be 12/(-2) + 8 + -64. Is -62 >= s?
True
Let b = -3.13 - -7.13. Is b greater than or equal to -4?
True
Let l be (11 - -1)*(3 - 2). Suppose d + 14 = l. Which is smaller: d or 1?
d
Let b = 678 + -667. Let x = -11.3 + 11. Which is smaller: b or x?
x
Let i(t) = 3*t**2 + 10*t + 3. Let o be i(-3). Is 1/243 less than or equal to o?
False
Suppose -x = -4 - 1. Suppose x*u + 9 = -4*c - 2, u = -3*c. Let w be (-80)/15 + c/3. Is w < -4?
True
Let i = -123 + 139. Is i at least as big as 1/3?
True
Let z(v) = -4*v - 253. Let m be z(0). Is m not equal to -254?
True
Let k = 1738 - 1738. Does -306 = k?
False
Let x = 519 + -520. Is 2/925 greater than x?
True
Let v be 82/(-328) + 26/4 + 0. Suppose -w = -6*w + 25. Which is greater: v or w?
v
Let z(x) = -x**2 + 12*x + 12. Let f be z(13). Is f smaller than -1/4532?
True
Let w = -45 + 45. Let s = -280792/2101 + 1470/11. Is s < w?
True
Let u = -1032917292 + 4601646516268/4455. Let c = 2/891 - u. Do 4 and c have the same value?
False
Let q be 2/(-5) + 24/(-15). Let a be ((-6)/81)/(q/(-30)). Let y = -21 - -19. Is y smaller than a?
True
Let o be (8/(-14))/1 + (-20)/(-35). Is o at most 2/125?
True
Let k = 13 + -11. Suppose k*y + y = 12. Suppose m = 5*s - 3*m - 41, 4*m = y. Does 10 = s?
False
Let m = -511 + 483. Which is bigger: -34 or m?
m
Let m be 658/(-28)*((-2 - 1) + 1). Let q = -47 + m. Is q less than 1/176?
True
Let j(o) = -3*o**2 + 3*o. Let h be j(0). Which is smaller: h or -2/1255?
-2/1255
Let f = 12.02 - 12. Let z = 0 - f. Let r = 0.02 + z. Which is smaller: r or -9?
-9
Let d = -35561/5 + 7094. Suppose 5*w = -142 + 47. Is d not equal to w?
True
Let y = 0.44 - 19.44. Let z = y + 31. Let l = 12.06 - z. Which is greater: l or 1?
1
Let d(a) = 12*a + 99. Let b be d(-8). Let r = -13 + 33. Suppose -4*j - r = 4*l, b*l + 7*j = 3*j - 19. Which is smaller: 6/11 or l?
l
Let c = 453/3910 + -8/85. Let t = c - -41/230. Suppose p - 3*p = 0. Which is smaller: p or t?
p
Suppose 3*m - o + 13 = 8*m, 4 = -4*m + 4*o. Suppose -3*k + m*k - 4*v = 18, 4*k - 2*v = -36. Is k >= -10?
True
Let k be ((-6