False
Suppose 3*s + 169 = r, 4*r + 148 = -5*s - 111. Let p = 3 - 231/4. Let v = s - p. Is v greater than -1?
True
Let m = 46 - 33. Suppose -2 = -m*o + 11*o. Does o = -3/19?
False
Let f = 91 + -95. Let c = -63 - -67.1. Let d = c + f. Is 0 at least as big as d?
False
Let p = -80/131 + 4729/3668. Which is bigger: p or 1?
1
Let c(x) = 4*x + 27. Let s be c(-2). Is 11 greater than or equal to s?
False
Let v = 0.0873 - -1.6247. Which is bigger: v or -1/2?
v
Suppose 24 = -4*i - 4*i. Let l be 10*-1*i/6. Is 32/5 equal to l?
False
Let r = 30 - 39. Suppose 3*z + 4 = 2*z, -4*q - z + 12 = 0. Suppose -q*g - 24 = 12. Is r smaller than g?
False
Let w = 99 + -70. Let g = 18 - w. Let n = 12.6 + g. Is 0.1 smaller than n?
True
Suppose 51*j - 50*j + 45 = -2*l, 15 = -5*l. Is -47 <= j?
True
Let t be (1 - 4) + 21/9. Let s be (-6)/4*(-40)/5. Let k = 12 - s. Is k <= t?
False
Let y(j) = -74*j + 1244. Let q be y(17). Suppose k = -1 - 14. Which is smaller: q or k?
k
Suppose -4752*u - 154 = -4754*u. Do 378/5 and u have the same value?
False
Let i = 108 + -106. Suppose 4*l = 5*l - 16. Let t be (3/12)/(i/l). Does 3 = t?
False
Let n be (-2)/6 - (-3 + 6). Let g(b) = -b**3 + 3*b**2 - 2. Suppose 0 = 2*v, 2*w - w - 3 = v. Let z be g(w). Which is bigger: n or z?
z
Let q(b) = b**2 + 8*b - 7. Let y be q(-9). Let t be (-1)/(-2 - (-1 - y)). Let o = 1 + t. Which is bigger: o or 2/9?
2/9
Suppose -27 = 3*p + 30. Which is smaller: p or -18?
p
Suppose 2*q - 5*y = 12 - 270, q - 5*y + 129 = 0. Is 0.1 equal to q?
False
Let x(v) = 26*v - 160. Let m be x(13). Is 533/3 less than or equal to m?
True
Let t be (-5)/(-7) - (-16)/56. Which is smaller: 5/34 or t?
5/34
Let m(d) = -2*d**3 + 2*d**2 + d. Let n be m(2). Let v be n/3*-1 + -8. Let l(o) = o + 2. Let s be l(-6). Which is bigger: s or v?
s
Let x(b) = 10*b - 450. Let a be x(37). Do a and -242/3 have the same value?
False
Let a be (-6 + 50/8)*1*268. Which is smaller: 750/11 or a?
a
Let t = -52/99 + 5/198. Which is smaller: 44.3 or t?
t
Let r(b) = -b - 12. Let d be r(-14). Suppose -94 = -5*l + 2*k - 5*k, -5*k = d*l - 30. Suppose 3*j - 5*y = 11, 4*y + y + l = 0. Is j less than or equal to -3/2?
True
Let c = 1163 + -2150. Does c = -985?
False
Let h(o) be the third derivative of -8*o**2 + 0*o + 1/2*o**3 - 1/24*o**4 + 0. Let m be h(2). Do 9/5 and m have the same value?
False
Let p = -470 - -16. Is p != -454?
False
Suppose -2*s = 2*s + 32. Let z be 5/((-20)/s) - 2. Suppose z = -j + 5*j - 4. Is -2/7 less than or equal to j?
True
Let n = -0.4 - -0.2. Let b = -566 - -2267/4. Are n and b non-equal?
True
Let p be 5 - (24/(-9))/(3/(-18)). Which is bigger: -22 or p?
p
Let n = 5.16 - 4.969. Is n less than -2/5?
False
Let c = -596374/1995 + -2252/133. Let t = 316 + c. Which is smaller: 0 or t?
0
Let w = 497 - 496.99. Which is greater: w or 33?
33
Let p be (-2)/1 - (0 + -2). Suppose p = 4*b - 2 - 10. Suppose -b*u + 0 + 6 = 0. Which is smaller: 1 or u?
1
Let q = -2271 + 3570. Which is bigger: 1298 or q?
q
Let h = -47 - 35. Let o = h - -81. Let p(b) = -b**3 + b**2 + b - 2. Let x be p(0). Is o >= x?
True
Let x(m) = -2*m**2 - 10*m - 9. Let t be x(-6). Let q be (-7)/(t/6)*-21. Let a = 65 + q. Do 23 and a have the same value?
True
Let v(z) = -2*z**3 - z**2 - 5*z + 7. Let s be v(-3). Let m = 605/9 - s. Is -1 < m?
True
Let n(q) = 6*q + 4*q**2 - 3*q - 2*q**2. Let o be n(-2). Suppose -b - 4*z - 3 = 0, -4*z - 8 = o*b - 2. Is -11/3 less than or equal to b?
True
Let j(a) = -4*a - 39. Let z be j(-10). Let r be 6/(-11) - -2 - (z + 0). Is r equal to -1?
False
Let k(j) = 2*j**3 + 60*j**2 - 74*j - 31. Let b be k(-31). Which is bigger: 340 or b?
b
Let i = -4 + 3. Let v = -59 - -169. Let s = v + -111. Is i less than or equal to s?
True
Let h = 38 - 38.37. Let n = h + 0.07. Let v = 911 + -911.1. Which is bigger: n or v?
v
Suppose -4*o + 5*o = 3*i + 2175, -3*o - 1461 = 2*i. Does i = -725?
False
Let d(p) = -p**2 - 11*p - 13. Let v be d(-9). Suppose -35*b + 34*b + v = 0. Suppose -4*h + h = -6. Is b at most as big as h?
False
Suppose 3*c - 4291 = -2*v, -5*v - 956 = -3*c + 3363. Is c greater than or equal to 1434?
False
Suppose -3*r + 5*l = 40, 3*r - 2*l + 48 = l. Let n be (-1)/(-38)*r/10. Which is smaller: 0 or n?
n
Let v be (-2)/((-12)/9 - -2). Let w be (-3)/(-3)*-3 - v. Is -2/3 < w?
True
Let m be 2/6*-7*3. Let b be -1 + 6 - (-4 - m). Let y(x) = x**3 - 2*x**2 + 2*x - 1. Let f be y(b). Which is smaller: 16/5 or f?
f
Let i be 34/(-21)*(-11)/((-132)/(-108)). Do i and 15 have different values?
True
Let m = 0.921 - 1.021. Which is bigger: m or 458?
458
Suppose -5*m = 4*b + 3070, 3*m = -4 + 10. Do b and -770 have the same value?
True
Let q(m) = -12*m**2 - 2*m + 1. Let z be q(1). Let w = 18 + z. Suppose w = -y - 4*j + j, 7 = 5*y - j. Is y greater than or equal to -1/4?
True
Let d(q) = -49*q - 296. Let m be d(-6). Is m >= 97?
False
Let x be (5*96/150)/((-3)/15). Which is greater: 1 or x?
1
Suppose 0 = 2*c + 169 - 15. Which is bigger: c or -75?
-75
Let p be ((-2)/3)/(210/1323*-7). Which is smaller: -0.0544 or p?
-0.0544
Let v be (-3)/2 - 11/22. Let c be v/5*30/(-426). Is 0 at least c?
False
Let j = 0.13 + 2.87. Let t = 3.33 - 3.23. Is j <= t?
False
Suppose 5*b - l - 70 = 0, 28 = -2*l + 18. Are 41/3 and b equal?
False
Suppose 41*n + 271 = -30*n + 839. Let w = 2 + 7. Which is bigger: w or n?
w
Let d = -2.7 + -0.3. Suppose z + 5*f + 6 = 0, -z + 5*f = 3 - 7. Which is smaller: z or d?
d
Let p be (40/30)/((-8)/(-6)). Which is greater: p or 23/12?
23/12
Suppose 44*z - 316 = -35*z. Is 17 less than or equal to z?
False
Let k(r) = -r - 9. Let w be 138/8*2*20/30. Let f be k(w). Is f less than -32?
False
Suppose 0 = 4*h + l + 379, -h - 79 = -0*l - 5*l. Let j = -84 - h. Is j at most as big as 10?
True
Let m be 4706/(-40) + (-3)/(-60)*-2. Which is greater: -117 or m?
-117
Let h = 4 - 1. Let l(a) = a**3 - 6*a**2 - 6*a + 8. Let c be l(7). Suppose 0 = -3*t - 6, h*b - 3*t + 6 - c = 0. Which is smaller: 2/23 or b?
2/23
Let k be (-3)/(-15) + (-1)/5. Suppose 2*p - 4*w - 16 = k, 2*p - 8 = -w - 3*w. Let i = p - 5. Is 4/7 less than i?
True
Suppose 0 = v + 6*o - 3*o + 12, -2*o - 8 = -4*v. Let j = 7.6 + -7. Which is smaller: v or j?
v
Let n = -281240/633 - 78/211. Let o = n - -38704/87. Which is bigger: 0 or o?
o
Suppose -20 = -4*u + 5*p, 5*u + 5*p = 4 - 24. Suppose u*v + 2*v = -2*f + 20, -5*f = -10. Let k = v + -9. Which is bigger: 1/36 or k?
1/36
Suppose -1127*h + 1135*h = -480. Let f be (-2 - -1)/(1/61). Which is greater: h or f?
h
Let s be -1 + 0*4/(-16). Let k be 29/(-63) + 5/(-45). Is k at least s?
True
Let m(g) = -5*g + 33. Let n(k) = k - 8. Let c(d) = -2*m(d) - 9*n(d). Let f be c(-3). Suppose o - f*l - 2 = -o, -3*l = 4*o - 4. Which is smaller: o or 0?
0
Let k(u) = -u + 0 - 5 - 2. Let v be k(-8). Let d be v/4 - (-27)/(-12). Is -2 > d?
False
Let n be 192/(-20)*(1 + (-138)/18). Do 65 and n have the same value?
False
Let d be -3*(0 + 1) - -2. Let i = 43/2 + -3831/178. Which is bigger: i or d?
i
Let j = -22 - -62. Suppose -50 = -0*i + i + 5*r, 2*i - 5*r + j = 0. Let a be 20/275*i/(-4). Which is bigger: 2/3 or a?
2/3
Let q = 35819/40 - 896. Let m = -113/520 - q. Is m at most as big as -1?
False
Let k(t) = 3*t**3 - 12*t**2 - 12*t - 23. Let f be k(6). Which is greater: 123 or f?
123
Suppose 4*r + 3*r + 14 = 0. Let v be (3/(-333))/(-1*r/(-6)). Which is smaller: v or 1?
v
Let o = 34 + -34. Suppose o = w + 3*g - 2, -w = -5*g + 7*g. Which is smaller: w or -1?
w
Let k = -1.36 + 1.5. Let p = k + -0.27. Let d = -0.13 - p. Is d not equal to 6?
True
Let y = -28.7 - -26.27. Let b = 0.43 + y. Let q = -0.3 - 0.7. Which is greater: b or q?
q
Let g = -1/6 + -8/15. Let b be (68/(12/3))/(-1). Let q = b - -15. Is q > g?
False
Let w(b) = -b**2 - 4*b. Let y be w(-4). Let i be (18096/4140)/((-2)/5). Let t = i + 32/3. Is t bigger than y?
False
Let v = 7.3 + 2.7. Let u = 9.8 - v. Is u at least as big as -0.4?
True
Let y = 18 + -15. Suppose 3*q - 7 = -2*g - 2*g, 2*q - 4 = -y*g. Suppose h = -0*h + 4. Which is smaller: h or q?
h
Let k = -61.92 - -67. Let c = k + -5. Let n = 359 + -358.8. Which is smaller: c or n?
c
Let s = 36 + -44. Let q = 90 - 89.8. Is s <= q?
True
Let y = 0 - 2. Let s(a) = 11*a**2 + 12*a - 14 + a**3 + 6*a + 14. Let v be s(-9). Does v = y?
False
Let w = 31 + -48. Let u = w - -15. Are u and -0.7 nonequal?
True
Suppose 16 =