 Suppose 20 = 4*c + 4*o, r*c + c - 15 = -3*o. Suppose c = -3*h - 7 - 2. Is -3 > h?
False
Let a = 77 - 74. Which is greater: a or 12/7?
a
Suppose 2 - 27 = 5*r, -3*i + 38 = -4*r. Suppose 0 = -s + 30 - i. Is 23 > s?
False
Let u be ((-36)/15)/4*12/(-1044). Which is smaller: -1 or u?
-1
Let y be (4698/(-938) - -5)*(-1 - 0). Which is greater: y or 1?
1
Suppose 7 = 3*z - 2. Suppose 8*d - 3204 + 9644 = 0. Let c be (-220)/d - z/21. Do c and 1 have different values?
True
Let c be (-35)/3 + 4/6. Let x = c + 11. Let j = -489 - -24941/51. Which is smaller: x or j?
x
Let t = 449 - 446. Are 15/8 and t non-equal?
True
Let c(b) = 2*b**2 + 9*b + 17. Let g be c(-4). Which is smaller: g or 12/7?
12/7
Let t be -35 - (-2 - (-4 - -5)). Let p = t + 34. Which is smaller: 7/5 or p?
7/5
Suppose 3*w + 1 = m, 4*w = -2*m + m + 8. Let x be 11 - 11 - (w + -1). Suppose 2*c - 9 = -5*s, -2*s + x*s = -4*c - 42. Are -0.1 and c equal?
False
Let b = 28 - 16. Let u = -21 + 13. Let i be b/u*-1 + 1. Is 4 > i?
True
Let l(w) = 4*w**3 + 4*w**2 + 8*w - 55. Let x be l(5). Is 584 smaller than x?
True
Let d = -0.19 + -0.13. Let p = d + 0.12. Suppose -3*q = -0 + 6. Which is bigger: p or q?
p
Let p = -5 + 15. Let a be 12 + 4*(-3)/12*2. Do p and a have different values?
False
Suppose 3*q = -2*n - 9, -4*q + 5*n + 29 - 18 = 0. Is -1/2720 at least as big as q?
True
Let y(t) = t - 322. Let b be y(30). Which is smaller: b or -293?
-293
Let y = -82 - -157. Do 75 and y have different values?
False
Let w = 279 - 1959/7. Which is smaller: -1 or w?
-1
Let s = -3.4 + 4.3. Let t = -0.8 + s. Is -20 at least as big as t?
False
Let c = -0.3 - 0.4. Let w = -0.8 - c. Which is smaller: 11/2 or w?
w
Let x be ((-6)/4)/(1365/(-28)). Let n be (3 - 3)*2/4. Which is smaller: x or n?
n
Let v = 133 - 150. Let t = 805/2 - 420. Which is bigger: t or v?
v
Suppose 4*s = -5*p + 12, -3*s + 12 = -p + 3. Suppose 0 = 4*n + 3*z - 3, -5*n - z + p = -12. Let o be (18/3 - n) + 11. Which is bigger: o or 0?
o
Let n = -0.3 + 1.3. Let o = -17 - -18.1. Let r = -0.1 + o. Is n less than r?
False
Let q = -777 - -182. Is q greater than -595?
False
Let l be 7 + (4 - (3 + 3)). Suppose 0 = -4*y + l*k - 96, -y - 72 = 2*y + 2*k. Is y equal to -23?
False
Let z be 61/6 + 46/(-276). Is z > -7/6?
True
Suppose 73 = -5*o - 387. Let n be (-3 - o/14) + -4. Let s be (2/3)/((-4)/(-6)). Which is smaller: s or n?
n
Let v be 0/1 + 5 + -4. Suppose v - 5 = -4*c. Is c not equal to -1/4?
True
Let s = 11 - 41. Let d be ((-8)/2)/(3/s*-4). Is d < -10?
False
Let s = -167 - -3839/23. Let g be (-4)/(-6) + 8/(-12). Which is greater: s or g?
g
Let i = 4.18 - 4. Let p = -13/36 - -1/9. Which is smaller: p or i?
p
Let m be ((-2)/(-4))/((-4)/48). Let s(f) = -5*f - 30. Let z be s(m). Which is smaller: -2/125 or z?
-2/125
Let o = -0.9 - -1. Let s = -0.1086 - 5.8914. Which is bigger: o or s?
o
Let m(f) = f**3 + 14*f**2 - 14*f + 18. Let c be m(-15). Suppose -u = 3, -x - 5*u - 11 = c*x. Let t be (-2 + 3)*(1 - -2). Which is smaller: t or x?
x
Let r(f) = -f**2 + 9*f - 7. Let h be r(8). Let j be (-8 - -10) + (h - 0). Let d be (-3)/(-2)*(-16)/(-12). Which is smaller: d or j?
d
Let y = 16481/909 - 163/9. Suppose 15 = 8*g + 7*g. Is g at most as big as y?
False
Let s be (165/1100)/(48/(-10)). Which is greater: s or -1?
s
Let b be -1 - (44/396 + (-32)/18). Let g(i) = -i**3 - 8*i**2 - 9*i - 10. Let v be g(-7). Let w be v/(-6) + 16/6. Which is bigger: w or b?
w
Let v = -72 - -78. Let t be 9/6 + (27/v - 3). Let i(j) = j**2 - 4*j - 1. Let d be i(3). Which is smaller: t or d?
d
Let b(v) = 2*v - 5. Suppose 8*u = 6*u + 4. Let f be u + (-1 - -5) + -3. Let j be b(f). Is j less than 5/3?
True
Let d = 78 + 660. Let f = -25827/35 + d. Which is bigger: f or 1?
1
Let i = 3 - 4. Let q be 0 + 2*i/4. Let d = -7 + 7. Which is smaller: d or q?
q
Suppose -3*n + 6*n - g = 113, 5*n + 5*g = 195. Suppose -3*o + 160 = o. Which is smaller: n or o?
n
Let r = -2315/668363 + 2/1213. Which is greater: r or -0.1?
r
Let a = 85345/87 - 981. Let q be (-8 - -4) + (3 - 0). Are q and a unequal?
True
Let a = -0.0625 + 0.0425. Is 0.11 at least a?
True
Let g = -0.42 + 0.22. Suppose 0 = 10*l + 10*l - 180. Is l at most as big as g?
False
Let q be (-2)/(-11) + (-129)/649. Let s = q + 116/3363. Which is bigger: 0 or s?
s
Let i = -5 + 3. Let g = 1619.09 + -1619. Is i not equal to g?
True
Let f(r) = -3*r + 1. Let z be f(1). Suppose -d - 7*b + 14 = 24, 4*d + 3*b = 10. Is d smaller than z?
False
Let f be (4 - 2)/(-5 + 6). Suppose 5*t - 4*x = 38, 2*t + f - 12 = -x. Let r be (-1)/4*(t - 10). Is r greater than or equal to -2/17?
True
Let g be ((-16)/12)/2*12/8. Which is smaller: g or -5/4?
-5/4
Suppose -6*q - 10*q = -7360. Let l = -7818/17 + q. Is 3/2 < l?
False
Let v be (-6)/(-4*(-3)/(-18)). Let w = v - 13. Let s = w - -4. Are 2 and s equal?
False
Suppose 4*g = -2 + 10. Suppose -4*b - 28 = a, 0 = 4*b - g*b - 4*a + 14. Suppose 11 + 1 = 3*c, -5*h = -2*c + 38. Which is bigger: h or b?
h
Let j = -984 - -949. Suppose -3*y - 6*m = -m + 133, -y = 2*m + 46. Which is bigger: j or y?
j
Suppose 4*m + b + 97 - 31 = 0, 3*m + 3*b + 45 = 0. Let k = 14 + m. Let i be k + (-27)/(-3) - -3. Which is bigger: 7 or i?
i
Let v be (-6*2)/(4 - (-125)/(-30)). Which is smaller: v or -1?
-1
Let y = 33/64 - 169/576. Which is bigger: y or 1.47?
1.47
Let c = -2298 - -16088/7. Suppose q = -0*q - 5, -3*q = 3*z + 12. Let j be (-1)/z*1*-1. Is j < c?
False
Let j be 58290/22715 + 8/(-28). Let c = 38/59 - j. Which is bigger: c or -1?
-1
Suppose -5*q - 15 = -2*q. Suppose -28 + 58 = -6*a. Are a and q unequal?
False
Let n = -42 + 48. Suppose -6*d + d = -n*d. Which is greater: -7/9 or d?
d
Let l = -43 + -1. Let x = 42 + l. Let q be 2 + -2 + 3 + -6. Is q at least as big as x?
False
Let k = -237 - -236.9. Which is smaller: k or 133?
k
Let h be (-3)/(-7) + (-292)/28. Which is bigger: h or -92/9?
h
Let a(l) be the first derivative of l**4/4 + 16*l**3/3 - 17*l**2/2 - 20. Let v be a(-17). Is 3 greater than or equal to v?
True
Suppose 0 = 221*b - 211*b. Let z = 238/45 + -16/3. Which is greater: z or b?
b
Suppose 2*r - 3*k = 811, -1627 = -4*r - 12*k + 13*k. Is 410 not equal to r?
True
Let d be -4 - 1 - (-9)/((-3924)/(-2192)). Which is greater: 0 or d?
d
Let r = 2328 + -2303. Which is smaller: r or 20?
20
Let k = -31 - -16. Let a be k/126 - (-8)/28. Do -1 and a have different values?
True
Suppose -109*v = 4*s - 105*v - 48, -3*v - 12 = 0. Are s and 8 non-equal?
True
Let p = 1.72 + -2.1. Let n be ((-2)/6)/(3/(-9)). Is n at least p?
True
Let u be -21 + 17 + (-4)/(-1). Is 3/166 bigger than u?
True
Let q be -3 + 6 + -2 + -2. Let w(r) be the second derivative of r**4/12 + r**3/6 + 4*r. Let g be w(q). Is 0 less than g?
False
Let d be 654/(-14) + (-4)/14. Let i be d/5 - (-50)/125. Are i and -10 equal?
False
Let u be (8/(-30))/(8/20). Let r be 13/11 - 4/22. Let o(y) = 5*y**3 - y**2 + y - 1. Let j be o(r). Which is bigger: u or j?
j
Let k be 6/(-16) - (-945)/24. Is k smaller than 1/4?
False
Let j = 24 - 52. Let q = j + 28.17. Let n = -1.13 - q. Which is smaller: -0.1 or n?
n
Let k = 1122 + -709. Which is smaller: 411 or k?
411
Let r be 2/3*243/56 - (-9)/(-12). Suppose -1 + 7 = 2*m. Which is bigger: r or m?
m
Suppose -4*o - o - 4*v = 0, 33 = -2*o + 5*v. Let g be ((-2)/(-10))/(o/(-135)). Let k = 127/20 - g. Which is smaller: -8/5 or k?
-8/5
Let v(a) = 6*a + 3 + 5 + 6 + a**2 + 2*a. Let g be v(-6). Let b be 1 + 0/(-1) - (-21)/28. Are b and g non-equal?
True
Let o = 115 + -178. Let u = 18 + o. Is 2/3 at least u?
True
Let m(r) = r**3 + 11*r**2 + 3*r + 35. Let o be m(-11). Suppose o*y = -20 + 2. Is -13 less than y?
True
Let y = -1.6 + 0.5. Let s = y - 1.9. Which is bigger: 1 or s?
1
Suppose 0 = 2*p - 2. Let f = 109385/6 - 18309. Let s = -78 - f. Which is smaller: s or p?
s
Let q = 14 - 11. Suppose -880 = -2*h + 2*n, -q*h - 5*n + 1302 = -2*n. Let u = 7431/17 - h. Which is smaller: -1 or u?
-1
Suppose -6 = 2*m, 2*q - 7*q - 381 = 2*m. Is q < -75?
False
Let o = 0.17 + -8.17. Let x be 25/(-4)*4/20 + 1. Do x and o have different values?
True
Let f(v) = -8*v**3 + v**2 - 1. Let y be f(-1). Suppose -4*k = -12 - y. Which is greater: k or -4/7?
k
Suppose 4*u + 6*u = -10. Suppose -3*j = -8 - 4. Let w be (j/3)/(15*-2). Is w smaller than u?
False
Let a(j) = -j**2 - 7*j - 8. Let n be a(-4). Suppose 5*d = n*u - 10 