< o?
True
Suppose 0 = -b - 0*b. Suppose 2*q = -b - 2. Is q < -4?
False
Let k be (-8)/(64/30) + 0. Is -3 at most k?
False
Let z = 741/14 + -53. Is 0 equal to z?
False
Let r = 3 + 4. Let a = 6 - r. Which is smaller: 2/5 or a?
a
Let n = -138 + 269/2. Let u = n + 3. Which is smaller: u or -1?
-1
Let h be (90/89 - 1)/1. Let u = h - 361/445. Which is greater: -1 or u?
u
Let u be 2*((-15)/10 + 1). Which is bigger: u or -7/12?
-7/12
Let i be (1/(-6))/((-1)/10). Suppose -7*t = -2*t - 25, g - t = -12. Let x be g*(-8)/(-28)*-1. Is i greater than x?
False
Suppose 24 = -5*j - 1. Is j smaller than -9?
False
Let d = 0.1 + 0. Let l = 1.9 + 7.1. Let a = l + -8. Is a equal to d?
False
Let s be (-5)/100 + (-1)/4. Let i = s + 7/10. Is 0.2 equal to i?
False
Let p be ((-2)/(-6))/((-1)/6). Let r be 1 + -14 + p + 5. Let n be (-4)/r + (-28)/(-5). Which is smaller: n or 5?
5
Let v be (0 - (-2 - 1)) + (-572)/184. Is v < 0?
True
Let j(t) = t**2 + 7*t - 21. Let v be j(-9). Is v <= -3?
True
Let d = -10.3 - -10.24. Are 0 and d equal?
False
Let m be -1 + (2/(-4) - -1). Let f be 4/(-6)*(-6)/2. Let u be 3 - 50*f/28. Is m less than u?
False
Let b = 4 + 2. Let o be b/24 - (-23)/4. Let k be (1 + -1)/(12/o). Which is smaller: 2/13 or k?
k
Suppose -s = -3*s. Suppose -a = -2*d - 4, a = 4*a + 2*d - 4. Suppose -p + 3 = -a*n + 4*p, -3*n + 5*p - 2 = 0. Is n < s?
False
Suppose -4*i = -0*i. Which is greater: i or 1/8?
1/8
Let o be 1/((2 - 0/(-4))/(-2)). Is -6/17 bigger than o?
True
Let y = 97 - 93. Which is smaller: y or 26/9?
26/9
Let z be 1/4 + (-19)/44. Let u(m) = -2*m + 1. Let f be u(-3). Let g = -6 + f. Which is bigger: z or g?
g
Suppose 5*d = -0 - 5. Let z be d*(-2)/7*1. Which is smaller: z or -0.01?
-0.01
Let c = 7 + -3. Let y = c - 3.9. Let n = 4.1 - -0.9. Which is bigger: n or y?
n
Let l = 8 - 3. Suppose -l*j = -4*j. Is 2/5 at most as big as j?
False
Suppose 0 = 3*m + 4*m. Are m and 5/16 equal?
False
Let u(x) = -8*x + 1. Let w = -3 + 5. Let g be u(w). Let z be g/10 - 1/(-2). Which is greater: z or 1/3?
1/3
Let i = 38413/9 + -4275. Is -7 smaller than i?
True
Let q(g) be the third derivative of g**4/24 + 4*g**2. Let n be q(-1). Do -3/5 and n have the same value?
False
Let k(h) = 5*h**2. Let d be k(-1). Which is bigger: 6 or d?
6
Let w(p) = -p**3 + 5*p**2 + 7*p - 8. Let z be w(6). Let i be (8/6)/((-2)/(-6)). Suppose -o = -i*o. Is o less than z?
False
Suppose l + 4*h = -16, 2*h + 16 = -2*h. Let k = -144/833 - -84137/134946. Let q = 1/162 - k. Which is bigger: l or q?
l
Let c = -30.115 - -0.115. Is -0.2 != c?
True
Let c = 2.6 - 0.6. Let d = -3 + c. Let y = -0.7 - -0.4. Is d greater than y?
False
Let w = -163 + 332. Suppose 3*k + d + w = 0, 3*k + k + 227 = -3*d. Let v be k/(-40) + -1 + 0. Which is smaller: 0 or v?
0
Let n = 23 + -23.1. Is 4/17 >= n?
True
Suppose 100 = 4*l - 4*r, 3*l = -l - 5*r + 127. Let x be 160/l + 2/7. Let h be (1/2)/((-3)/x). Which is smaller: h or 4/11?
h
Let o be (-4)/10 - 14/(-35). Which is smaller: 2 or o?
o
Suppose -2*j - c + 13 = -3*j, 2*j + 11 = -3*c. Which is smaller: j or -9?
j
Suppose u + 5 = 0, 2*u = b + 3*b - 2. Let n be (-2)/(-6) + b/6. Suppose -2*h + 4*h = n. Is 2/7 at most as big as h?
False
Suppose 5*l - 2 = 8. Suppose 0 = -2*f + 2, -5*v + f - 5 = -4*f. Let x be 0 + 0 + (2 - v). Is l greater than x?
False
Suppose -6*f + 4 = -2*f. Let j(p) = 5*p**2 + p + 1. Let k be j(-1). Suppose t - 4*b = -6, -3*t = k*b - 20 + 4. Which is greater: f or t?
t
Let h be (-2)/(-2)*(6 - 1). Suppose -8*c + h = -3*c. Suppose -4*j - 2*k - 3 = -j, 0 = j - 5*k + c. Are -1 and j non-equal?
False
Let y be (1 - 0)/((-6)/(-2)). Suppose g - 3 + 1 = 0. Suppose g*n - 1 + 3 = 0. Which is greater: y or n?
y
Let a = 10 - 14. Let d be 1 + -5 + 2/a. Which is smaller: -6 or d?
-6
Suppose -2 = p - 11. Let x be (-2)/p - (-40)/18. Which is smaller: 3/2 or x?
3/2
Let m = -13.2 + 16. Let r = m - 3. Let v be ((-4)/15)/(2/5). Is v greater than or equal to r?
False
Let a(l) = 2*l + 3. Let b be a(-3). Which is greater: -2 or b?
-2
Let o = -0.07 + 3.07. Suppose -4*d + 16 = 4*b, 0*b = -5*d - b. Is d >= o?
False
Let y be 2*(0 - -7 - -1). Suppose -8*w + 64 = -4*w. Let a be (4/w)/(5/y). Which is greater: a or 2?
2
Let m = 39 + -40. Which is smaller: -2/19 or m?
m
Suppose 54 = -4*y + 2*c, y + 8 = 2*c + 2. Is -15 != y?
True
Suppose -2 = -3*x + 2*k + 20, 0 = 3*x - 4*k - 26. Let a = 0 - x. Which is bigger: a or -5?
-5
Suppose 5 + 1 = -2*a. Let o be (0 + a - -3) + 1. Which is bigger: 11/5 or o?
11/5
Let b be (-2)/(-7) - (-52)/63. Let w = b - 31/36. Let m(f) = f - 11. Let o be m(11). Are o and w equal?
False
Let b = -72 - -72. Which is bigger: 8 or b?
8
Let r = 5 - 14/3. Let g = 0.55 + -0.3. Let t = 0.05 + g. Is t bigger than r?
False
Let o = -2683 - -75143/28. Let i = o + -3/7. Which is greater: -2 or i?
i
Let o = -11 + 2. Let m = o - -21. Is 12 at most m?
True
Let z(f) = -f**3 + 4*f**2 - 2*f - 4. Let w = -6 - -11. Suppose 9 + 6 = w*k. Let y be z(k). Is y greater than -1?
False
Let a be ((-1)/2)/(2/4). Let y be (2 + -4)/(3/24). Let l be ((-4)/y)/(21/(-36)). Which is greater: l or a?
l
Let g be ((-8)/(-27))/((-38)/3). Let t = g + 410/2907. Which is smaller: -1 or t?
-1
Let w = -9/13 + 55/117. Let o(z) = -z**3 - 9*z**2 - 9*z - 7. Let h be o(-8). Does w = h?
False
Let u be 3/((-99)/(-69)) - -1. Is u != 3?
True
Let w = -8.1 + 8.3. Is w < 4/15?
True
Let r = -24 - 21. Does r = 2/7?
False
Let h be (-8)/(-48) - (-22)/12. Which is bigger: 3/2 or h?
h
Let v be 3 + -2 + -4 - 27. Let z be 1/1 + v/28. Is z bigger than -1?
True
Let t be 36/(-51) - 0 - -1. Let g = t + -32/51. Is -0.1 less than g?
False
Let m = 1.3 + -1.5. Do 4 and m have different values?
True
Let r be (-10)/20*(-4)/6. Let b = -194/549 - -8/61. Is b >= r?
False
Let v = 1.26 - 0.16. Let c = -0.1 + v. Suppose -23*x + 26*x = 3. Are x and c unequal?
False
Let z be (-2)/(-1) + (-18)/(-6). Is z smaller than 5?
False
Suppose b - 4*b = 45. Let v = 12 + b. Which is bigger: v or -2?
-2
Let y be (-2 - -4) + -1 + -2. Let m(o) = o - 1. Let k be m(3). Let p be 6/4*k/(-3). Is p greater than y?
False
Let a = -30 - -53. Which is smaller: a or 24?
a
Let p = 9/2 + -4. Is 3/5 at most as big as p?
False
Let u = -3352/3 + 1086. Which is smaller: u or -30?
u
Let l = -326583405058/201 + 1624796674. Let m = l - 3614. Let y = -1009/402 + m. Which is smaller: y or -3?
-3
Let o = 0.13 + -2.23. Let w = 0.1 + o. Let s = w + 0. Does 0.1 = s?
False
Let j(i) = 5*i**3 + i**2 - 2*i - 2. Let b be j(-1). Is b less than or equal to -8/3?
True
Let j = -127 - -638/5. Suppose -5*d + 1 + 74 = 0. Let q be ((-72)/d)/(-3) + -2. Which is greater: j or q?
j
Suppose 5*n = 4*p - 65, 4*n = 2*p - 10 - 18. Let x be (-4)/14 + p/(-28). Which is greater: 0.09 or x?
0.09
Suppose -41*w = -36*w + 15. Which is bigger: w or 0?
0
Suppose -v - v + 2*i + 2 = 0, 0 = -2*v - 5*i - 19. Let a be 24/v*5/(-15). Which is smaller: 6 or a?
a
Let o be (-20)/3*(-45)/(-70). Is o equal to -5?
False
Let n(g) = -g**2 + 2*g + 9. Let m be n(-2). Let j = -4 + 6. Which is bigger: j or m?
j
Let x be 8/4 - 143/6. Let z = 22 + x. Is z < -0.3?
False
Let a = -2 - -2. Let n = a + 1. Let u = -63.1 - -63. Which is smaller: n or u?
u
Let g = 116 - 66. Suppose 30 = -o - 4*k, o + g = -3*o - 2*k. Which is smaller: -11 or o?
-11
Suppose 0 = -4*c + 16 - 4. Let g be (10/195)/((-1)/c). Which is bigger: 1 or g?
1
Suppose -4*l + 6*a - 2*a - 4 = 0, 2*l = -3*a + 8. Suppose -5*f = 2 - 7. Is l at most f?
True
Suppose 3*i - 4 = -i. Let a be (i/(-18))/((-3)/9). Which is smaller: 1 or a?
a
Let o be (1 + 47)/(-3) + 1. Let x = 12 + o. Which is bigger: -2 or x?
-2
Let j be 40/108 - (-3)/(-9). Suppose t + 6 = 2*q + 4*t, 2 = t. Which is smaller: j or q?
q
Let m = -295 + 433. Let d = -141.95 + m. Let i = d - 0.05. Which is smaller: 0.1 or i?
i
Let b = -6 + 3. Let d = -3 - b. Is d equal to 1?
False
Suppose -3 = -2*g - g. Let s be (-8)/90 - -1*(-1)/(-5). Is g greater than or equal to s?
True
Suppose v = -v - 2. Let l = -4 - v. Let i = -26 + 25. Which is bigger: l or i?
i
Let i be ((-3)/56)/(42/(-28)). Is -1 at least as big as i?
False
Let g = 5 - -6. Let f = g + -25. Which is greater: f or -0.1?
-0.1
Let i = -144 - 30. Let u be (-12)/54*i/8. Let z = -9/2 + u. Do 0 and z have the same value?
False
Let a be (-6)/(-10) - 4/10. Let o = -13 + 19. Let v = -6.2 + o. Is a