True
Let z = -3 + 5. Let q = 23762 - 23765. Is z greater than or equal to q?
True
Let b = 0.0915 + -0.2385. Which is greater: b or -5?
b
Let g = -0.2 - -0.4. Let s = 26.9 - 1.9. Let d = s + -24. Is g >= d?
False
Let g = 1.6 - -7.4. Let b = 8 - g. Suppose -8*k = -2*k. Which is smaller: k or b?
b
Let b be 1246/(-42) - 4/(-6). Let k = b + 29. Which is smaller: k or 1/5?
k
Let c(n) = -n + 5*n**2 + n**3 + n - 1 + 6*n - 2*n. Let y be c(-4). Is 3/16 != y?
True
Let p be (-13 - 3)/4*2. Let x be p/50*(-65)/(-26). Are -0.08 and x non-equal?
True
Let m = 235 - 234. Which is bigger: 2 or m?
2
Let c = 177 - 883/5. Is c greater than or equal to -203?
True
Let a be ((-12)/10)/((63/(-140))/(-9)). Suppose -153 = -4*s + 15. Let x be (a/s)/(2 + 24). Which is greater: x or 1?
1
Let k(p) = p. Let o be k(2). Let s be (-1)/o + 42/(-108). Let t = 25/18 + s. Which is smaller: -0.02 or t?
-0.02
Let l = 42.04 + -42. Which is bigger: l or 1.2?
1.2
Let c = 0.8 - -0.2. Suppose 27 = 2*z - 1. Let d be 44/z + (-4 - -1). Is c > d?
True
Let z = -24 - -3. Let c = z - -20.97. Which is bigger: c or -1/6?
c
Let b = -4 + 9. Suppose -b*j = 15 - 40. Suppose 7*t + 11 = 3*t - j*h, 5*t = 2*h + 11. Which is smaller: 6/7 or t?
6/7
Let y = 0.8 + -1. Suppose 9*j - 15*j = 6. Which is greater: j or y?
y
Let q be (1 + 5)*(-1)/(10/225). Do -0.1 and q have different values?
True
Suppose -8*t + 5*t + 4*s - 166 = 0, t + 3*s + 38 = 0. Does t = -49?
False
Let a = 17 + -356/21. Let u(b) = b**3 + 15*b**2 + 16*b + 27. Let s = 50 + -64. Let p be u(s). Which is smaller: a or p?
p
Suppose -g - 3 = 11*a - 9*a, -a + 5*g + 15 = 0. Let d = 116/9 + -40/3. Is a at least d?
True
Let i = 0.516 - 0.436. Does -3/8 = i?
False
Let v = 687 - 449. Which is greater: 239 or v?
239
Let o = -1 + 1. Let z = 292/45 - 56/9. Let u = -1/15 - z. Is o greater than or equal to u?
True
Let r = -93 - -45. Let t = r - -47.978. Is t not equal to -1?
True
Let m(b) = -6*b. Suppose -4*q - 5*z = 0, -z = q - 5*q. Let v be m(q). Is 0 at least as big as v?
True
Suppose 2*d - 1 - 1 = 0. Let r be (d - -5)*(-12 + 13). Let p be (-4)/r + (-85)/(-15). Is 6 less than or equal to p?
False
Let k be 7/((-98)/(-105))*(-36)/75. Which is bigger: k or -4?
k
Let r be -3 + (-2750)/(-855) - 4/18. Let s = r + -673/1881. Do 0 and s have different values?
True
Let n be 31 - (4 - (12 - (-28)/(-4))). Let o = 3 - -29. Is n less than o?
False
Suppose -15*a + 5 = 50. Are a and -42/11 unequal?
True
Suppose -31*d + 30 = -34*d. Are -8 and d nonequal?
True
Let l = 4.95 + 0.05. Let g = -5.7 + l. Let q(j) = 3*j - 23. Let s be q(8). Is g <= s?
True
Let z(q) = 14*q**2 + 2*q - 20. Let l(y) = -5*y**2 - y + 7. Let j(a) = -17*l(a) - 6*z(a). Let c be j(-1). Which is bigger: -38/9 or c?
c
Let p(t) = t**3 - 7*t**2 - t - 1. Let f be p(7). Let i(z) = z**2 - 12*z + 20. Let j be i(10). Let q be f/(-8)*(j + 1). Is q at least 2/25?
True
Suppose -4*x - 3*l = -10, -3*x + 1 = 17*l - 18*l. Which is bigger: x or 1/58?
x
Let o = 154/2085 - 1/139. Which is smaller: 1 or o?
o
Suppose -16 = -5*r + 2*m - 2, -2 = -2*r + 2*m. Suppose a - 3 = 4*q, -r*a + 6 - 14 = 4*q. Let u be 2/(-2)*1/21. Which is smaller: q or u?
q
Let m(s) = s**3 - 16*s**2 - 16*s - 21. Let r(z) = z + 5. Let g be r(12). Let l be m(g). Let q be 2/l*(2 + -4). Which is bigger: 5/4 or q?
5/4
Let c = 8 + -11. Let w be 2*c/(-6) - 0. Suppose k = w - 6. Is k bigger than -6?
True
Suppose -f + 5 + 115 = -4*t, -5*t + 5*f = 165. Is t less than -27?
True
Let c = 39 - 39. Is c less than or equal to -18?
False
Let b be ((-1)/(-1))/((-1)/(86/(-6))). Is 13 at least as big as b?
False
Let l = 6 + -4. Suppose -q + 2*q + 2 = 0, 14 = l*y - 3*q. Let b be (-2)/y - (0 - 2). Is -2 greater than or equal to b?
False
Suppose 5*z = -5*k - 25, 2*k + 14 = -5*z + 2*z. Let f = 186/7 - 7559/280. Let n = f - 3/40. Which is smaller: n or k?
k
Let i be 0 + -10 + 6 + -1. Let t be 1 + 1*-1 + -7. Is t >= i?
False
Suppose -6 + 26 = 4*d. Suppose -d*f = 5*o + 15, 0*o + 4*o - f + 12 = 0. Let q(i) = -i - 4. Let n be q(o). Is n >= 1/3?
False
Let p = 3 - -17. Let o be (-12)/(-5)*500/75. Which is smaller: o or p?
o
Let y be ((-6)/(-4)*-47681)/14. Let x = 38454/7 + y. Let r = -387 + x. Which is smaller: r or -2?
r
Let r = -2/277239 + 25783427/27723900. Let b = r - -8/25. Suppose 10 = -6*n + 16. Is n smaller than b?
True
Let j(h) = -h**3 - 2*h**2 + 10*h + 6. Let c be j(-4). Let k be (-7)/7*(c + 5). Do k and -1 have the same value?
False
Let x = 0.41 + -0.49. Let s = x - -1.08. Which is greater: s or 8?
8
Let a = 64 + -42.4. Which is smaller: a or 3?
3
Let c(o) = o**3 + 8*o**2 + 17*o - 11. Let y be c(-8). Is y < -147?
False
Let v = -320 + 362. Which is smaller: 44 or v?
v
Suppose -3*u - 12 = -3*b, 4*b - b + 2*u = 2. Suppose 0*w = -4*a - 2*w + b, 4*a + 3*w = 7. Let s = 6 - 8. Is s <= a?
True
Let a = 3 + 3. Let v = a - 2. Let q(w) = w**2 - 4*w + 2. Let g be q(v). Is g equal to 2?
True
Let v = 11 + -12. Suppose 5*i + 28 = 178. Let g be v/3 + (-20)/i. Which is smaller: -1/6 or g?
g
Suppose 2*m = -5*u + 248, 5*u - 279 = 5*m - 59. Suppose -9*c = -6*c - u. Let v(b) = -b**2 + b + 16. Let w be v(0). Is w bigger than c?
False
Let j = -237/4 - -122063/2060. Which is smaller: 0 or j?
0
Let g be -2 + (-14)/(-4) + 5/10. Suppose -5*d - m = -60, 0 = -5*d + 3*m + g + 58. Is d at most as big as 10?
False
Let c be -32 + 21/12*-4. Does -38 = c?
False
Let d = 60 + -60.2. Is d greater than or equal to -45?
True
Let r = -150 - -597/4. Let k(z) = -z**2 + z - 1. Suppose -4*b - 5 = -9*b. Let h be k(b). Is r <= h?
False
Suppose 0 = -4*w - 5*d + 30, 4*w - 26 = -0*w - 3*d. Let j(n) = 2*n**2 + 8*n + 5. Let i be j(w). Suppose 5*m = -0*m - i. Is -18 greater than or equal to m?
True
Let h = -212 + 635/3. Which is smaller: 33 or h?
h
Let j = 1406 + -1406.253. Is 0.1 greater than or equal to j?
True
Let z = 0.1 - 0.3. Let x = 0.004 + 33.996. Let i = x - 33.9. Is z <= i?
True
Let q be (-1)/(28/(-36))*5 + -7. Do -17.2 and q have different values?
True
Let p = -332 + 329. Is p equal to -9?
False
Let x be 1/(-2) + (3 - (-532)/(-248)). Which is smaller: x or 0?
0
Let z be (-4)/10 - (-24009)/(-12465). Let t = z + -2/277. Suppose -5*a - 4 = x - 4*x, -5*a = -x + 8. Are a and t nonequal?
True
Let o = -4019 + 3995. Let m be 46/(-6)*3/1. Are o and m nonequal?
True
Suppose 0 = -j - 4*m + 15 + 13, -50 = -2*j - 5*m. Suppose 2*o + 17 = p, 4*o + 5*p + j = -o. Let x = 18 + o. Do x and 9 have different values?
True
Let c(p) = -p**2 + 17*p + 12. Let w be c(17). Let s be w/(-7)*(-7)/2. Let x = s + -2. Which is smaller: x or 11/4?
11/4
Suppose -w = -3*w - 126. Let a be (48/5)/(w/(-210)). Let h = 100/3 - a. Is h less than 1?
False
Let d be ((-35)/(-2) + -1)*(21 - 23). Let v = 34 + d. Is 0.004 greater than v?
False
Let r be 2*(-20)/8 - -20. Suppose -52*l + 49*l = r. Let p(c) = -c + 3. Let d be p(6). Are d and l non-equal?
True
Let l(f) = -3*f**3 - 3*f**2 + 3*f - 6. Let g be l(-5). Suppose -d - 5*t = -0*d + 150, 0 = -2*d - 3*t - g. Let r = d + 1481/11. Which is greater: r or 1?
1
Let y be (-21 - -24)*(-1)/(-2 - 1). Are y and 1/149 equal?
False
Let s = -4 - -7. Suppose -3*a = 3*z + s, -5*a + 38 = -5*z + 93. Which is smaller: -5 or a?
a
Let f be 69*(-7)/(-2604) + (-3)/12. Which is bigger: 1 or f?
1
Let g = -250 - -495/2. Is -4 > g?
False
Let f be (-7)/((-56)/(-37)) - -5. Is -2/11 at most as big as f?
True
Let s = 196 - 209. Suppose -4 = c + 3*y, -2*c = 3*c + 3*y + 44. Is s at most as big as c?
True
Let q be 8/(-2) - 4988/60. Let a = q + 87. Which is smaller: a or 2?
a
Let i(b) = b**2 - 1. Let r be i(-1). Let d = -8/1849 - -676774/9245. Let s = d + -3344/45. Which is smaller: r or s?
s
Let t(o) = 2. Let a(y) = y + 1. Let u(c) = -c - 8. Let k be u(-6). Let q(x) = k*a(x) + t(x). Let r be q(-2). Are r and 5 non-equal?
True
Let d(q) = 3*q - 37. Let v be d(17). Let p(c) = c**2 - 13*c - 13. Let s be p(v). Which is smaller: 7/24 or s?
7/24
Let q be (130/14 - -1)*(-23 - -16). Let u = 80 + q. Are u and 11 equal?
False
Let a = 125 - 97. Let x = a + -43. Which is smaller: x or 4?
x
Suppose 0 = -3*l + 4*l + 1, -4*g + 108 = -4*l. Suppose 3*f = 5*m + g, 5*f - 10 = -0*f. Let u be (m/16*0)/(-1). Is 2/25 < u?
False
Let a be 16/7 + (-4)/14. Suppose 3*m - 3 = -4*y, 5 = -m + 6*m. Suppose -3*r - 12 + 15 = y. Which is bigger: r or a?
a
Let v = 22 + 41. Let x =