s?
True
Let x = -32 + 46. Let h be (-2 + 1)/(2/x). Let z = 503 - 510. Is z smaller than h?
False
Let o = 89/6 - -29/66. Is o > 15?
True
Suppose 7*i + 326 = 74. Is i bigger than -41?
True
Let a be ((-2)/(-218))/(2/4). Let h = -101/436 - a. Is h <= -1/4?
True
Suppose -2*a + 24 = 28. Let k be 0 - ((-2)/(-1))/2. Is a <= k?
True
Let z = -778 - -724. Do z and -6 have the same value?
False
Suppose 3*z + 30 = 5*m - 0*z, -z = 5*m - 10. Suppose -m = 4*r - 5*r. Suppose -2*t = -r*t + 3. Which is smaller: 13/5 or t?
13/5
Let c be ((-64)/(-10))/(2 - 13). Let l be ((-1)/5 - -1)/((-242)/(-55)). Let n = l + c. Which is greater: n or -0.14?
-0.14
Let h be 4/6 - 310/510. Which is smaller: h or 7?
h
Let q = 477 + -523. Is -47 > q?
False
Let u be 66/24 + (-1)/(-4). Suppose -5*h = 5*a + 30, -2*a - 14 = -3*a + u*h. Let v be (-2 - (0 + -3))*a. Is v bigger than -1/13?
False
Suppose 4*x + 10 - 54 = 0. Let o = x - 8. Let k be o/(-6)*2*-1. Which is greater: k or -5?
k
Let f = -103 - -98. Let p be ((-4)/(-6))/(f - (-560)/(-15)). Do p and -1 have the same value?
False
Suppose 11*m - 330 - 11 = 0. Is 28 smaller than m?
True
Let j = -26 - -9. Let a(w) = -w**3 + 2*w**2 - 3*w + 1. Suppose 0 = 3*k - 7 - 2. Let n be a(k). Do n and j have the same value?
True
Suppose -p = -5 + 1. Suppose -3*j - 12 = -p*j. Suppose v - j = -3*d, -2*d + 16 = -2*v + 2*d. Which is smaller: -2/11 or v?
-2/11
Let p = 2.4 - 0.9. Let u = -1.2 + p. Let y be (-4)/10 + 0/3. Which is greater: y or u?
u
Let m be (4 - 9)*(-21)/60*-4. Is -109 equal to m?
False
Let i(f) = -2*f**3 + 9*f**2 + 5*f + 2. Let b be i(5). Which is smaller: 4 or b?
b
Let c be 4422/45 + -3 + 1. Let o = -96 + c. Do o and 1 have different values?
True
Suppose -17*h + 15*h + 279 = m, -5*h = -3*m - 692. Are 4/7 and h non-equal?
True
Suppose m - 8 = -2*q - 1, 3*m - 13 = 2*q. Let x be (1 + -4 - -2) + 0 + q. Is -2/173 >= x?
False
Let t = -1043 + 1078. Are 35 and t unequal?
False
Let z = 1142 + -1142.07. Which is bigger: -14 or z?
z
Suppose -2*j + 3*f + 1 + 0 = 0, 6 = -4*j - 2*f. Let q = -20 - -28. Suppose z + q = -3*z. Is j smaller than z?
False
Let u = -0.244 - -3.244. Let a = 0.7 - 0.65. Which is greater: a or u?
u
Let i be (2 - 14) + 8904/294. Which is smaller: 19 or i?
i
Let j = 2.8509 + 0.1491. Which is bigger: j or -9.1?
j
Suppose 2*m = -w + 7, 0*m - 3*m = -w - 3. Suppose -2*h + 2*b = -0*h - 38, w*h - 37 = -b. Let x = h - 15. Is x >= -3/4?
False
Let u be (8687/966 - -3)/6 + -2. Is u at least -1?
True
Let y(k) = -5*k**2 - 6*k + 12. Let v be y(-7). Let a be ((-4)/(-12))/(v/(-6)). Which is smaller: -1 or a?
-1
Let g = -2557493/73 - -35035. Which is smaller: g or 2?
g
Suppose 2*b - 5*b = -3. Suppose -5*f + 6 = b. Which is smaller: f or -2/27?
-2/27
Suppose 2*w + w = 0. Let t = 2 - w. Suppose 4 = -2*x - 2*j, -2*x - t*j = -3*x + 7. Is -1/6 greater than x?
False
Let q = 2249/3 + -772. Is -23 greater than or equal to q?
False
Let s = 280 + -281.55. Is -1 greater than or equal to s?
True
Suppose 5*a + 1 = 4*a. Let x(t) = 2*t**3 - t. Let p be x(a). Let s = p - -4. Is -1 less than or equal to s?
True
Let f = 11.3 + -12.26. Let i = f - 0.04. Which is smaller: -84 or i?
-84
Let w = 1267 - 163444/129. Which is greater: -1 or w?
w
Let h = 9068 + -45731/5. Is -78 bigger than h?
True
Suppose -2*h = 2*h - 20. Suppose 4*q + h*n - 38 = 0, 0 = 3*q + n - 23. Suppose 0 = d - 3 - q. Is 11 smaller than d?
False
Let t(y) = 11*y**2 - 40*y - 9. Let s be t(3). Which is greater: s or -35?
s
Let r = 57 + -52. Which is bigger: r or 4?
r
Let h(x) = -x**2 - 23*x + 57. Let z be h(-25). Let j be ((-35)/(-20))/z*-1. Let c(i) = -2*i + 3. Let v be c(2). Which is smaller: v or j?
v
Let o be 2/4 + 0 + 1155/(-2030). Is o smaller than 0?
True
Let c = 3 - -7. Let k be 15/4*4/c. Let f = 0.3 - 0.3. Is k less than f?
False
Let z = 13 + -10. Suppose -4 - 8 = -4*q - 3*c, 3*q - 9 = -2*c. Suppose -2*p = -q - 3. Is p at most as big as z?
True
Let s = 3.04 - 0.04. Let w be 28/(-7) + (-2 - -2). Which is smaller: w or s?
w
Let h = 546 + -542. Is h < 8?
True
Suppose 8*w = 3*w + 5*k + 5, -3*w + 7 = k. Let v = 21 - 11. Suppose v = -3*n + 8*n. Is n >= w?
True
Let y = -13 + 23. Let c = 13 - y. Which is smaller: c or -5/3?
-5/3
Suppose 0 = 3*t - 5 - 10. Let f(g) = g**3 - 5*g**2 + g - 6. Let c be f(t). Suppose 5*z + 9 = 4*d, 3*d = d - 3*z - 1. Is d less than or equal to c?
False
Suppose -4*n = 4*q + 12, 2*q = -n + 1 - 3. Let m be 4*q - 36/9. Which is smaller: m or -2/83?
-2/83
Let y(z) = z**2 + 3*z - 13. Let v be y(-6). Suppose 0 = -h + 6 - v. Which is smaller: h or -2.1?
-2.1
Let i be (3406/65 - 6/15)/(-1). Is i bigger than -360/7?
False
Let m be 1521/78*(-3)/(-72). Which is greater: m or 2?
2
Let z be (9/(-24)*1)/((-3)/(-30)). Which is bigger: z or -3?
-3
Let i(v) = -v**3 + 6*v**2 - 3*v - 4. Let z be i(5). Let k be (-9)/(-12)*214/z. Let j = k + -293/12. Is j greater than or equal to 3?
False
Let d be (-9420)/100*(1 + (-14)/4). Which is smaller: 235 or d?
235
Let c(w) = 6*w - 12. Let m be c(2). Is 3/4 smaller than m?
False
Let m(g) = -9*g - 4. Let w be m(8). Let x be w/12 + (-1)/(-3). Let t be ((-6)/14)/((-9)/x). Which is smaller: -2/3 or t?
-2/3
Suppose 99 = 5*l + 4*y, -2*l - 2*y + 5*y = -35. Let x = 556/31 - -72/155. Do x and l have the same value?
False
Let s = -10 - -14. Suppose s*z = c + 10, 0*c = 4*z + 4*c. Let j be 2 + -2 - 28/(-16). Which is greater: z or j?
z
Suppose t + 2*w = w - 13, 5*t = -3*w - 55. Does t = -8?
True
Let g = -12 + 7. Is -2/13 not equal to g?
True
Let k(u) = u**2 - 8*u + 15. Let w be k(6). Suppose -c + 1 - 50 = -4*a, 3*a - 120 = w*c. Which is smaller: -36 or c?
c
Suppose -3*u + 202 = -5*w, 2*u - 3*w - 62 = u. Let r be 292/u + 0 + -4. Are -1 and r non-equal?
True
Let j(z) = z**3 + 13*z**2 + 10*z - 15. Let l be j(-12). Let f = -21 + 31. Let g = l - f. Which is smaller: g or -1/4?
g
Let v be ((-39)/(-9))/(2 - 3). Which is smaller: 0.3 or v?
v
Let u be 45/5 + (-14 - -4). Are 13/98 and u equal?
False
Suppose -243*h - 420 = -244*h. Which is smaller: 419 or h?
419
Let j(q) = 12*q**2 + q + 27. Let f be j(11). Let x = f + -34278/23. Let s = x + 147/92. Does s = 2?
False
Let h(x) = -2*x - 12. Let b be h(-12). Let f = 16 - b. Suppose -2*k = -4*g - f, -k - g + 0*g - 1 = 0. Which is greater: 2 or k?
2
Suppose -2*z = -4*a + 3*z - 668, 4*a + 5*z + 668 = 0. Which is greater: a or -165?
-165
Let f = -1.747 + 16.747. Which is greater: f or -22?
f
Let y = -61.4 - -22. Let k = 41 + y. Is 0.1 not equal to k?
True
Let j = 41547899/9422315 - -2/807627. Let c = j + -29/7. Is c at least 1?
False
Suppose 207*g - 2651 = 196*g. Which is greater: g or 239?
g
Suppose 45*c - 63*c = 0. Let x be (-4)/(-42)*(-1)/2. Which is bigger: c or x?
c
Let f be (-94)/6*-4 + 4/(-6). Which is greater: f or 123/2?
f
Let q be (-1)/4 - (-3)/11. Let o(y) = 61*y - 60. Let v be o(1). Which is smaller: q or v?
q
Suppose 18 = j + 2*a, -6*a + a = j - 21. Let y = j - 34. Which is bigger: y or -16?
-16
Let v(a) = -a**2 + 8*a. Let o(y) = y**3 + 6*y**2 + 5*y + 8. Let d be o(-5). Let n be v(d). Is n less than or equal to -1/6?
False
Let h = 2.4 - 2.236. Let r = h + -0.064. Which is smaller: r or -10?
-10
Let i(j) = j**3 + 8*j**2 - 9*j + 5. Let v be i(-9). Suppose v*d - 1 = 4*d. Is d bigger than 1?
False
Let z be 468/(-48) + (-3)/12. Which is greater: z or 4?
4
Let h = 5 + -3. Suppose -5*z + 115 = -5*j, 0*z - 31 = -2*z - 3*j. Let k be (-6)/z*176/(-33). Which is bigger: h or k?
h
Let x(a) = -a**2 + 6*a + 3. Let d be x(6). Let s = -167 + 168.9. Is s at most d?
True
Let p(h) = h + 2*h - 2*h + 1. Let m be p(-1). Let o be 3/(-9) + (-44)/(-114). Is m != o?
True
Suppose -4*q - 18 = -10*q. Let m be 44/2 - (0/q + 3). Is 20 less than or equal to m?
False
Suppose -384 = -4*r + 228. Which is bigger: -4 or r?
r
Let z = -0.018 - 0.082. Let v = -3.7 + -0.3. Let h = 3.95 + v. Is z equal to h?
False
Let g = 490 - 521. Which is smaller: -32 or g?
-32
Suppose 4*p = 5*a + 13, a - 7 = -4*p - 0. Let c = 23.853 - -1.147. Is a greater than c?
False
Let p = 15 - 26. Let z = p + 6. Let x = 0.45 + 0.55. Is x equal to z?
False
Let m = -261755/68 + 3849. Which is bigger: m or -1?
m
Let t = 5.2385 + -0.2385. Is 0.057 bigger than t?
False
Suppose 2*f + 31 - 19 = 0. Which is greater: -2/7 or f?
-2/7
Let a = 637601/135 - 4723. Is 0 less than or equal to a?
False