/5 unequal?
True
Let q = -2 + 2. Let o = q - -2. Suppose j + 0*j - o = 0. Which is bigger: 0 or j?
j
Let d = 40 - 64. Let o = 24 + d. Is -4/3 > o?
False
Let g = 0 - 0. Suppose 5*q - m - 8 = -g, 3*m = -9. Is q at most as big as -2/7?
False
Let g = -34 - -74. Let z = -28 + g. Let o be 4/54*z/8. Is o less than or equal to 1?
True
Let o = 93 - 69. Is o not equal to 23?
True
Let z = -0.57 - 26.43. Let j = -0.39 + 0.29. Is z at most as big as j?
True
Let n be 3/(-2)*(-4 - -2). Let z be (15/(-9) - -1)/n. Which is smaller: z or 1?
z
Suppose -3 = -4*o - 2*c - 27, 3*c = -2*o - 20. Let b = 2 + -1. Is o bigger than b?
False
Let d be (4/(-6))/((-26)/(-39)). Is d at most 1/39?
True
Suppose 0 = 5*d - 0*d + 5*x + 3180, -x = 5*d + 3176. Let s = 24767/39 + d. Is s <= 0?
False
Let s = -14 + 519/37. Which is bigger: s or 0?
s
Suppose -3*z = -z - 2. Suppose -12*p = p - 0*p. Do p and z have the same value?
False
Let g = -22 + 34. Suppose -3*y = 3*z - g - 9, -33 = -4*z - 5*y. Does 0 = z?
False
Suppose v + 7 = 5*z, 3*v + 3 = -3. Do z and -11 have the same value?
False
Let v = 488/119 + -60/17. Let w be ((-8)/(-24))/(2/6). Which is smaller: w or v?
v
Suppose -4*d = -p + 15, 0*p + 3*d = -5*p - 17. Do 2/3 and p have the same value?
False
Let s(x) = -x**2 + 11*x - 12. Let p be s(10). Let m be (-5)/(-2) - 1/p. Suppose 2*c - 5*h - 5 = -m*c, -2*h = -5*c - 4. Which is smaller: -1/2 or c?
c
Let b = 21 + -21. Let f be ((-4)/3 + 0)*30. Let z be f/19 - (-5 - -3). Is z equal to b?
False
Suppose 0*k - 8 = -2*k. Let d(b) = b**2 - 3*b + 1. Let y be d(4). Which is greater: k or y?
y
Let h = -4/55 + 23/165. Do -1 and h have the same value?
False
Let k = 32 + -57. Let p = -16 - k. Which is smaller: 8 or p?
8
Suppose 0*n - 2*n + 3*f + 5 = 0, -4*n - 3*f + 1 = 0. Let t(j) = 6*j**2 - 1. Let z be t(n). Is z greater than 4?
True
Suppose 15 = -0*v + 3*v. Let r(h) = h**2 + 3 + 3*h**3 - 2*h**3 - 1 - 2*h**3. Let a be r(0). Is a <= v?
True
Suppose 0 = -3*o - o. Suppose -7 = -4*f - 3. Let b = o + f. Which is smaller: 3/2 or b?
b
Suppose 0 = -3*o - 4*g - 44, -6*g - 70 = 5*o - g. Suppose -2*h + 0 + 22 = -2*a, 3*a = -4*h - 47. Which is smaller: a or o?
a
Let x be (-77)/3 + (-7)/21. Are x and -23 unequal?
True
Let l be 314/(-208) + 5/40. Is l at most as big as -1?
True
Let d be (95/(-10))/(6/(-4)). Let v = 6/749 - -13250/2247. Let x = d - v. Is 1 at most as big as x?
False
Let q be 184/168 - 2/2. Are q and 0.1 equal?
False
Let q be (-3)/9 - (-44)/(-12). Let h = q - -5. Let y = 6 + -5.6. Which is bigger: y or h?
h
Let t = 57 - 58. Do 1/57 and t have different values?
True
Let f(z) = z**2 + 3*z + 2. Let q be f(-2). Let x = 1 - -1. Suppose -x*n = n. Is q != n?
False
Let p be (-90)/36*4/(-65). Is 2/7 not equal to p?
True
Let k = 273 + -3001/11. Is -2/5 smaller than k?
True
Let b = 65 + -65. Is 3/7 > b?
True
Let c be 11/(-8) - (1 + -2)/(-8). Is -10 at most as big as c?
True
Let y(q) = -q**2 + 6*q - 6. Let w be y(5). Let d(i) = -i**2 + 8*i - 10. Suppose 13 = 3*z + 2*l, 2*z + l - 2 = -2*l. Let m be d(z). Is w less than m?
False
Let l = -0.02 - -1.02. Let a be 4/(-10) + 9/(-15). Which is bigger: a or l?
l
Let c = -12 + 24. Is 78/7 at least c?
False
Let z(h) = -h**2 + 6*h. Let n be z(6). Let m(t) = t**2 + 6*t + 8. Let g be m(-5). Is g equal to n?
False
Let f = 69 + -62. Do 4 and f have the same value?
False
Let d = 21 + -4. Is 16 bigger than d?
False
Let c be 3 - (1104/(-9) + 3). Let m = -1838/15 + c. Is m <= 0?
False
Suppose b - 5*o = -9, 13 - 3 = 2*b + 4*o. Let x = 14 - 10. Let n = x + -2. Which is smaller: n or b?
b
Suppose -4*v + 23 = 3. Let g be 2*1*(v - 3). Let o = 4 - g. Which is smaller: o or -4/3?
-4/3
Suppose 4*o - 8 = -2*c + c, -4 = 2*c + 3*o. Which is greater: c or -4?
-4
Let a = -133 - -133. Suppose -6 = -2*d + 10. Suppose 3*c - 6 = 2*j + d, -16 = 2*c + 5*j. Is a less than or equal to c?
True
Let g be -1*(156/60 + (-2)/(-5)). Suppose -4*c = -3*z + c + 15, 0 = 4*z + c + 3. Let t be (-2 - z)*2/4. Is t at least g?
True
Suppose 3*l = 2*u - 99, -3*l + 5 + 4 = 0. Let x be 3/(-3) + 24/u. Is x >= -2?
True
Let y = -1.1 - -0.1. Let b = -1 + y. Let q be (-2 - (-84)/20) + -2. Which is smaller: b or q?
b
Let w = -8 - -11. Let m = w + -2. Let u be 1 + (88/(-18))/4. Which is greater: m or u?
m
Let s = 67 + -72. Is s < 1?
True
Let g = 7275/11 - 663. Is -1 at most as big as g?
False
Let t be 11 + 3/(-1 + -2). Let x = -11 + t. Which is smaller: x or -4/9?
x
Let o = -35 + 34. Which is smaller: o or 2/51?
o
Let w = 0.01 - 0.31. Let h = -9 - -16. Let r = -8 + h. Which is bigger: w or r?
w
Let k be ((-26)/(-4))/(7/(-14)). Which is smaller: k or -12?
k
Let z = -18 - -18.01. Which is bigger: z or 11?
11
Let t be 396/(-336) + 9/42*2. Let i be ((-4)/2 - -1)/1. Let y = -3 - i. Which is smaller: t or y?
y
Let d = 6 + -14. Which is smaller: d or -6?
d
Suppose -c - 4*v = -12, -c - 3*v - 4 = 3*c. Let a be 2*(10/c)/5. Let k = a + 2. Is k >= 1/2?
True
Suppose 0 = 4*n - 9*n + 40. Suppose -19 = -4*z + 3*r, -2*z = -3*r - 3 - n. Suppose -5*s + 13 = 2*y, s + 11 = -2*y + z*s. Is y < -1?
False
Let j be (-6)/(-8) + (-3)/4. Suppose -g - m = -7, -5*g = -j*m + 3*m - 25. Let f be (g + -1 - 0)*-1. Which is smaller: 2/5 or f?
f
Let g = 8 + -5. Suppose 5*f = g*f. Let j be (4 + -3 + -1)/(-2). Is f less than j?
False
Let b = 8 + -8.3. Let u = -3 + 3. Is u > b?
True
Let x be (14*(-3)/(-20))/(140/175). Is x at least 2?
True
Let t be (12/3 - 0) + -1. Suppose 15 = 2*g + t*r, -3*g + 20 = -0*r + 4*r. Suppose 3*p + 2*d = -3*d - 13, -2*p + d = g. Is p greater than -1?
False
Suppose -5 - 15 = -5*s. Suppose -f - 2*b - s = -0, 2*b + 4 = f. Let i be f/((2 - 0)/(-2)). Which is greater: -1 or i?
i
Suppose 3*t + 2*m + 24 = 8, 0 = -t + 3*m + 2. Let n = t + 3. Which is bigger: n or -7/4?
n
Let t = -1.3 + 7. Let w = 6 - t. Let b be 2 - (1 - 0/2). Which is greater: b or w?
b
Let u(v) = 16*v - 6. Let y(j) = -3*j + 1. Let f(x) = 2*u(x) + 11*y(x). Let d be f(-4). Let s be d*-1 - 220/(-76). Does -0.1 = s?
False
Suppose -1 = -5*k + 4. Let c(n) = -n**3 - 6*n**2 + 8*n + 8. Let r(b) = 2*b + 7. Let l be r(-7). Let v be c(l). Are k and v unequal?
False
Let p be (11 - 4 - 4)/3. Suppose -c + 4*c = 0. Is c at most as big as p?
True
Let a = 56 + -68. Which is greater: a or -0.2?
-0.2
Let a(l) = -l**2 - l - 1. Let y be a(1). Let b be 2 + (12/4)/y. Is b at least as big as 0?
True
Suppose -4*t + 18 = -t. Let q(d) = -5*d - 3. Let m be q(t). Let x be 6/m - 18/22. Is x bigger than 0?
False
Let z be 3 - 2 - 3 - -9. Suppose k = 2*k + o - z, 2*k - 2*o - 10 = 0. Let i = k - 11/2. Are 0 and i equal?
False
Let l = 4 + -2. Suppose -4*a + a - 10 = -l*y, 5*a + 2*y - 10 = 0. Which is greater: 4/7 or a?
4/7
Suppose -3*f + s + 13 = -f, 0 = 5*s + 25. Suppose b - 4 = -b. Is b greater than f?
False
Let a = -3 - -3.1. Let y = 44 + -175/4. Is y less than a?
False
Let m(x) = -x**2 + 11*x + 12. Let g be m(12). Let n be 1 + -1 - (-2)/(-6). Which is smaller: n or g?
n
Let b = 757 - 506. Let w = 997/4 - b. Which is bigger: -1 or w?
-1
Suppose 2 = 4*t - 30. Is -2 smaller than t?
True
Let s = -0.8 + 1. Is s at least 0.07?
True
Let u be 1 - (6/(-2))/(-3). Suppose q + 12 = -3*j, u*j + 2 = -q - j. Let n = -0.1 - -0.2. Are n and q equal?
False
Let p = -18/7 - -51/28. Let u be 4/(-10) + (-3)/5. Let q = -1 - u. Which is bigger: p or q?
q
Let k be ((-3)/(-12))/(22/(-4)). Let p = k + 6/11. Which is smaller: p or 0.1?
0.1
Let l be 4 + -3 - (4 - 5). Is l at most 4/7?
False
Let h = -1047/4 + 263. Which is smaller: h or 1?
1
Suppose 5 = a - 4*h, 2*h + 63 = -5*a - 0*h. Let c = 8 + a. Is c != -2?
True
Let n = 18.1 + -18. Which is greater: n or 0.3?
0.3
Let y = -24 + 23.99. Let t = -1/97 - 93/388. Is y not equal to t?
True
Let z = -23/5 + 64/15. Let c = -4 + 4. Is z greater than or equal to c?
False
Let q(r) = -r**2 + 1. Let f be q(-1). Let c = f + 1. Let n be -1 - c/6*-2. Which is smaller: n or -2?
-2
Let p(u) = 3 + 0 - 1 - u + 13. Let x be p(15). Is x not equal to 0?
False
Let d(a) = a**2 + 6*a - 9. Let s be d(-9). Does 18 = s?
True
Let t(y) = -y**2 - y + 2. Let j be t(0). Is 5/3 not equal to j?
True
Let h = -20 + 33. Suppose -5*a - h = 3*n + n, n = 4*a + 23. Let c be -6*(15/6 - n). Is c greater than 2?
True
Let i(a) = 8*a + 2. Let g be i(4). Let o = g + -103/3. Let t = 0.3 - -0.7. Is o greater than t?
False
Let z(q