 >= q?
True
Suppose -5*h + 6 = -d - 4, -7 = d - 4*h. Suppose 5*c - 20 = d*z, 3*c + 4 = 4*c. Which is bigger: 1 or z?
1
Let t = 912 - 107617/118. Is t > 1?
False
Suppose -n + 144 = -0*n. Let x be 4/14 + n/(-14). Let v be ((-6)/10)/(8/x). Which is greater: 2 or v?
2
Suppose 2*h = -6 + 162. Let j = h - 232/3. Which is bigger: j or 1?
1
Let w = -21 + 13. Let t = w + 19/2. Which is bigger: t or 3?
3
Let u = -3 + 6. Suppose 4*f = -2*n + u + 9, -4*f + 24 = 5*n. Let i = 40 + -118/3. Which is smaller: i or f?
i
Let o be ((-33)/9 - -1)*9/2. Is o smaller than -23/2?
True
Let a(m) = m**3 - 4*m**2 + 4. Let c be a(4). Suppose 0 = -0*d + 4*d - 5*i + 4, -5*d + c*i + 4 = 0. Suppose -3*p = -p + 6, -23 = -2*q + 5*p. Is q > d?
False
Let o be 1/(-2)*(-3 + 7). Are o and -1 equal?
False
Let m be (-1)/((-4)/3 - -1). Let g be -3 + (-21)/(-9)*3. Suppose -4*r + 2*r + g*h + 12 = 0, 4*r - 5*h - 18 = 0. Is m greater than r?
True
Let p = -1.3 - -5.3. Are -4 and p equal?
False
Suppose -2*x + 9 + 17 = 0. Suppose -5*o + x = v, -5 = -3*v + 2*o - 0. Suppose -9*w = 9*w - 36. Which is smaller: w or v?
w
Let l = -86/3 - -32. Which is greater: l or 4?
4
Suppose -5*t = -r + 9 + 23, -r - 13 = 4*t. Let v(k) = -2*k + 10. Let g be v(r). Suppose 0 = -4*f + 4 - 28. Is g greater than or equal to f?
True
Let a = -0.02 - -0.12. Which is smaller: -0.5 or a?
-0.5
Let i(u) = -u**3 - 9*u**2 - 8*u - 1. Let s be i(-8). Let v(a) = -2*a + 1. Let l be v(1). Is s at least as big as l?
True
Let m = -17 - -50. Is m greater than 32?
True
Suppose -5*w - 13 = -3*r + 32, 3*w - r + 31 = 0. Do -11 and w have different values?
True
Suppose 0 = -5*q - 2*z - 3 - 1, -3*q = -4*z - 8. Let w(u) = u + 1. Let y be w(-1). Let s be -3*(2/6 + y). Which is smaller: s or q?
s
Let d = 37 - 39. Which is bigger: 14 or d?
14
Let y(g) = -g**2 - g. Let v be y(-1). Suppose -3*x = 1 - 4. Suppose 0 = -f + x. Which is smaller: v or f?
v
Let u be 96/(-270)*(0 + 6/(-8)). Which is smaller: 1 or u?
u
Let r(j) = j**2 - 3*j - 3. Let t(d) = d**3 + d + 3. Let s be t(0). Let a be r(s). Let i be (-1 - -2) + (-5)/2. Is a >= i?
False
Let y be -2 + -2 + 2 + 4. Let r = -1 + 1. Suppose r*d - 3 = -3*d. Which is smaller: d or y?
d
Let l = 31 + -22. Suppose 8*s - 3*s + l = -3*r, 0 = -3*r + 3*s - 9. Suppose -14 = 2*d - 2*b, 0*d + 3*b - 17 = d. Is r bigger than d?
False
Suppose 2*w = 5*q - 35, q - 5*w = 4*q + 10. Let p be 2/q + 1712/(-30). Let n = p - -56. Does -1 = n?
False
Let i be (-1)/2 + (-1)/(-10). Let f = -123 - -122.91. Do i and f have different values?
True
Let f = 7.2 - 7. Let k be ((-6)/(-20))/((-6)/(-4)). Is k less than or equal to f?
True
Let f = -161 - -151. Let c = -0.9 + 1. Which is smaller: f or c?
f
Let t = -1.8 - -0.4. Let w = t - -1.4. Suppose 0*n - 10 = 2*n. Are w and n unequal?
True
Let m = 241 + -7955/33. Which is greater: m or 1?
1
Let m = -17.5 - -18. Let w = -0.4 + m. Is w greater than or equal to 1/7?
False
Let b(o) = 2*o**3 - 44*o**2 - o + 21. Let m be b(22). Is m greater than or equal to 3/8?
False
Suppose 4*x = 3*h + 15, x + 3*h - 2*h = -5. Is -14 greater than or equal to x?
False
Let d(b) = -b**3 + b**2 - b + 64. Let s be d(0). Let q = s - 36. Let j be (-24)/(-14) + 8/q. Is 2 bigger than j?
False
Let n(l) = l - 3. Let c be n(5). Suppose 13 = 3*b - c*b. Suppose 5*v - b + 3 = 0. Is 2/3 <= v?
True
Let l(x) = -x**3 + 5*x**2 + 7*x - 2. Let t be l(6). Suppose 0*v = t*v - 12. Is v != -1?
True
Let t be -2 + 2 + 4/(-4). Let b = t + -1. Which is smaller: b or 0?
b
Let s(k) = -2*k**2 - 3*k - 5. Let q be s(-3). Is q < -12?
True
Let x = -1 + 5. Let g = x - 4.2. Let i = g + 0.2. Is 0.3 < i?
False
Let y = 48 - 145/3. Let a be (-9)/6 + (-30)/(-12). Which is bigger: a or y?
a
Let o = -3 + 1. Let t = 1.2 + o. Let f = t - 0.2. Is f < 2/3?
True
Let d = -7/6 - 7/3. Let z = d - -3. Suppose -4*x - 8 = -0*x, 4*w = 5*x + 10. Which is smaller: w or z?
z
Let b = -86 + 689/8. Suppose 3*h + 2*s + 1 + 0 = 0, 0 = -h + 4*s - 5. Is b < h?
False
Let u = -25 + 25.2. Which is smaller: 4 or u?
u
Let m = 8.45 - 8.4. Is m < -8?
False
Let d = 16 - 18. Let i be (-15 - -15) + (0 - d). Which is greater: 1 or i?
i
Let l be (-51)/3 - 2/2. Let a be (1/(-2))/((-21)/l). Suppose 0 = i + 2*i - 6, -2*f + 3*i - 8 = 0. Which is bigger: a or f?
a
Suppose -5*i + 3*i = -8. Suppose 6 = i*b - 6*b. Which is bigger: b or 1?
1
Let i be ((-9)/21)/((-200)/(-14)). Let u = -33/100 - i. Which is smaller: u or -1?
-1
Suppose -4*j - 49 = -13. Let s be (-1)/2*-2*-10. Does j = s?
False
Let b = 1553/10 + -155. Is b < 0?
False
Suppose 3*u - 2*y - 4 = u, 8 = -4*u - 4*y. Which is smaller: 2/9 or u?
u
Suppose 0 = 2*h - h + 5*d + 2, 0 = 2*d + 4. Let z be ((-6)/h)/((-10)/8). Is 2 at most as big as z?
False
Suppose -2*y = 3*y. Suppose y = -p - p + 2. Let b = p + 0. Are b and 0 equal?
False
Let c be 2*1 - 0/(-7). Suppose -3*o - 3*g + 6 = 0, -c*g + 4*g + 3 = 5*o. Is 1/7 < o?
True
Let l be -1*(-65)/(4 + -9). Is -13 greater than l?
False
Let o = 44 + -49. Let l = -1.95 + -0.05. Which is bigger: o or l?
l
Let j be (-5)/(-10) + (-11)/2. Let d be (-6)/(-9) - j/(-3). Let t be 4/5*d/(-2). Which is smaller: t or -1?
-1
Let i = 740/3949 + -2/359. Let j(g) = g**3 - 10*g**2 + 10. Let k be j(10). Suppose 0 = 3*y - 13 + k. Which is smaller: y or i?
i
Let j = 12.8 + -11.8. Which is smaller: -1 or j?
-1
Suppose 5*d + 15 = 2*o, 2*d - d + 3 = -4*o. Let q(p) = -p**2 - 6. Let k be q(o). Let b be -2*(-2)/k*3. Which is smaller: -1 or b?
b
Let t = -1 + 2. Let r = t - 1.1. Let a = -1 + 0.9. Is r greater than or equal to a?
True
Let h = 20 + -25. Which is bigger: -7/2 or h?
-7/2
Let l be (-1)/2 + 6/(-4). Let m = 904/3115 + -2/445. Are l and m nonequal?
True
Suppose 5*b - 28 = b. Suppose 4*l - 5*j = -10, 6 = 4*l - b*l + 3*j. Which is bigger: 1/2 or l?
1/2
Let u be (2 - 6/(-10))*5. Suppose u*b + 50 = 8*b. Which is smaller: b or -9?
b
Let g be 12/(-54) + 16/(-9). Let c = -4 + 6. Let v = c - 3. Are v and g nonequal?
True
Let q(g) = g - 3. Let k be q(4). Let l be 2 + ((-2)/(-1))/(-2). Let y be (l*-2 - -4)/(-2). Is k not equal to y?
True
Let z be (-5)/4 - 54/(-24). Let o = -2 - -1. Does z = o?
False
Let g(q) = -q**3 + 9*q**2 - 10*q + 16. Let s be g(8). Let k = -65.9 - -69. Let p = 3 - k. Which is smaller: p or s?
p
Suppose -5*r + 0*r + 45 = 0. Do 7 and r have the same value?
False
Suppose 6*y - 6 = 3*m + 4*y, 4*y = -m + 12. Which is bigger: -5 or m?
m
Let j = 13 - 9. Let p be 3*-14*3/(-24). Let x = p - 11/4. Is j less than or equal to x?
False
Let d = -101/190 + 5/38. Suppose 3*j = -4*p + 9*p + 4, 4*p = -j - 10. Which is greater: d or p?
d
Let n be (-9)/(-30)*(-5)/(-4). Is n at most as big as 0?
False
Let f = 29 - 21. Let r = -7 + f. Suppose 4*y - 5*y = 0. Is r at most as big as y?
False
Let s = -1.522 + 0.122. Is s at most -0.2?
True
Let r(h) = -3*h**2 + h. Let g = 3 - 4. Let b be r(g). Which is smaller: b or -5?
-5
Suppose -4*l - 5*i = -49, -2*i - 7 = -2*l - i. Suppose 0 = -0*h - h + 3*g + 7, 0 = h - g - 7. Which is greater: l or h?
h
Let q(a) = a + 6. Let s be q(-4). Let m = 4.08 + -0.08. Let l = 6 - m. Is s bigger than l?
False
Let n = 43 - 43. Which is smaller: 2/7 or n?
n
Let z = 3 - 4. Let b = 3115/7092 - -13/394. Let s = b + -2/9. Is z equal to s?
False
Let b(s) = s**3 + 3*s**2 - 4. Let t be b(-4). Let y = -12 - t. Suppose -3*i - y + 2 = 0. Which is bigger: i or -1?
-1
Let a = -100 + 205/2. Let o be -4 + 1/(-1) + 2. Let f = 0 - o. Is a greater than f?
False
Let p = -183 - -176. Which is smaller: -2/13 or p?
p
Let b(i) = -i**2 - 3*i. Let y be b(-3). Let z be 2*(-3 - (y + -4)). Which is smaller: z or 3?
z
Let i be 4/22*2/4. Let s be -3 - (-3 - (-45)/(-132)). Let o = i - s. Which is bigger: o or 0?
0
Let t be -2 - -3 - 396/(-20). Let u = 2798/135 - t. Do u and -1 have the same value?
False
Suppose -w = 3 - 4. Let u = -10 - -11. Suppose u = f + 3. Which is smaller: w or f?
f
Let d = -4 - -5. Let g be (-9)/d - -2 - -1. Which is greater: -7 or g?
g
Let f be 14 + -2 + 3*-1. Let v = 13 - f. Is v smaller than 4?
False
Suppose -3*k = -2*z + 91, 2*z - 13 = -3. Let r = k + 9. Let s be -3 - 68/r - 1. Is s greater than or equal to 0?
False
Suppose -3 = -3*i + 3*l - 6, -2*i - l = 2. Is i at most as big as -18?
False
Suppose y = -0 + 2. Let q = 25 + -23. Is y greater than q?
False
Let d be (-13)/(-21) - (-10)/(-35). Which is smaller: