22 + z. Which is smaller: j or s?
s
Let b = -66 + 66. Is b not equal to -46?
True
Suppose 3*w - 10 = -2*o - 3*o, -5*o + 3*w + 10 = 0. Suppose o*s + 4 = -12. Let a be s/(-4) - (-10)/(-8). Is 2 greater than or equal to a?
True
Suppose -5 = -h, -h + 30 - 1 = -4*d. Is -4 smaller than d?
False
Let h be (-32)/(-10) + 3/(-15). Let q be (h/((-6)/(-4)))/(-2). Is q < -2/31?
True
Let q = 0.24 - 0.5. Let o = -0.06 - q. Let a be 2/6 - 0/(-1). Is o less than or equal to a?
True
Let l(g) = -g - 2. Let v be l(-7). Suppose -2*n - v*b + 18 = 0, -4*b = -n - 0 - 17. Suppose 5*c = z - 4, c + 8 = 2*z - 0. Is c less than n?
False
Let l = 0.07 - 0.17. Let n = 0 - 0. Is l equal to n?
False
Let m be -10*((-22)/12)/(-11). Are m and -2 equal?
False
Let s = 8 + 2. Is s bigger than -0.1?
True
Let q = 154/9 + -5408/315. Suppose -5*v - z = -3, 0*v - 5*v + z = -7. Is q > v?
False
Suppose 4*u = -4*d + 16, -3*u + 4*u - d + 2 = 0. Is -19 at least as big as u?
False
Suppose -2*q - 6*k + 3*k = 6, q + 2*k + 5 = 0. Which is smaller: 0.5 or q?
0.5
Let m = 2.8 + -3. Let x = 2.2 + -3. Let h = m + x. Which is smaller: -0.2 or h?
h
Let j = -3.1 - -3. Which is smaller: -0.8 or j?
-0.8
Suppose 0 = 7*k - 3*k + 60. Is k at most as big as -15?
True
Let s(t) = 2*t - 7. Let m be s(5). Does 0 = m?
False
Let f be (-60)/(-54) + 2 + -4. Let y be (-82)/(-72) - (-1)/2. Let q = f + y. Is 1 bigger than q?
True
Suppose q = 5*d - 12, -5*q + 8 + 22 = 5*d. Are q and 17/5 nonequal?
True
Let z be 20/(-6) + 14/(-21). Let y be z/16 - (-5)/4. Suppose -3*x = -0*x - 6. Are y and x equal?
False
Suppose 18 = f - 4*f. Let p be (8/f - -1)*-3. Suppose v - 1 = 2. Which is greater: p or v?
v
Let k be 1/(-4) - 445/(-20). Is k bigger than 22?
False
Let p = 0 + 2. Let o(v) = v**3 + 6*v**2 + 2. Let u be o(-6). Is p equal to u?
True
Let d = -12 + 6. Suppose 2*r = 5*s - r + 35, 5*r = -2*s + 17. Which is greater: d or s?
s
Let q = -5.2 + 4. Let t = q + 7.2. Which is smaller: -1 or t?
-1
Suppose 89 = l + 88. Is 4/51 > l?
False
Let y be 3/(-3)*(-1 - -2). Let o be 0 + (-9)/((-99)/(-8)). Is o less than y?
False
Let d(u) = -3*u**3 + 2*u**2 - 1. Let f be d(-1). Suppose -2*j = -3*j - f. Which is smaller: j or 0?
j
Let t = -208/5 - -42. Let h = 1/90 - 1/9. Let q = h - t. Is q bigger than 0?
False
Let d = 1.2 - 1.1. Let t = 55/8 + -27/4. Is d greater than t?
False
Suppose -n + 2 = -2*l, 3*n = 3*l + l. Which is smaller: 0 or n?
n
Let n be (-16)/3 - (-10)/30. Is n bigger than -5?
False
Let y = -61/2 - -30. Let b = 0.17 - 0.87. Let m = b + 0.6. Which is smaller: y or m?
y
Let q(i) = -i**3 + 5*i**2 - 3*i - 1. Let s be q(3). Is 7 less than or equal to s?
True
Let y(b) = -b**2 + 16*b - 34. Let a be y(15). Which is bigger: a or -16?
-16
Let o = -0.1 + 0.4. Let z = 44.8 - 38. Let m = z - 7. Do o and m have the same value?
False
Let g be (-2 + 2)/(-4 + 3). Which is bigger: g or -5/12?
g
Let s = 7 + -6. Let q be s + 2/4*-2. Are q and -1/6 nonequal?
True
Let i = 19386/7 - 2794. Let b = -1355/56 - i. Which is greater: b or 1?
1
Let q = -1 + -25. Let d = q + 12. Which is bigger: 1/2 or d?
1/2
Suppose 3*t + 75 = -3*j, j + 0*j = -2*t - 22. Let d be 10/(-8) - 7/j. Let g be 6/(-4) + d + 2. Does 2 = g?
False
Suppose n = -3, -j = -3*j + 5*n + 17. Let p be 1/(-6)*(j + 1). Let a(i) = -i**3 + 2*i**2 - i - 1. Let v be a(1). Which is smaller: v or p?
v
Let i = 0.1 + 0.9. Suppose 5*w - 2*s + 10 = 0, -2*w - 2*w - 15 = -3*s. Let x be 1*(w - (-4)/6). Which is smaller: x or i?
x
Suppose 10 = -2*t + 6. Let s = t - -3. Does s = -1/10?
False
Let d be (12/(-15))/4 + 0. Let n be (-1)/2*(-2 + 0). Which is greater: n or d?
n
Suppose 0 = v - 4 - 15. Let z be (-68)/5*1/v. Let c = z + 6/19. Is 0 at most c?
False
Let p(t) = -t**2 - 4*t - 1. Let i be p(-4). Let j = 6 + 3. Let y = j + -9. Which is bigger: i or y?
y
Let v be (-4)/2 - 1/(-1). Let o = 0 + 6. Let c(p) = -p**2 + 5*p + 6. Let f be c(o). Which is greater: v or f?
f
Let p = 313 + -2501/8. Let j be 2/6 - 123/(-9). Let z = j - 14. Is z smaller than p?
True
Let m = -12 + 4. Let y = -13 + 3. Let n be ((-3)/y)/(m/(-20)). Which is bigger: n or 0?
n
Let p = 8.7 - 9. Which is smaller: 0 or p?
p
Suppose 2*o - 18 + 6 = 0. Let h be ((-1)/10)/(o/(-224)). Let w = h + -17/5. Is -1 > w?
False
Let z be -1 + 7 - (-3 - -5). Let i be (-1)/z + (-65)/(-4). Suppose 3*c + 16 = p - c, 4*c = -4*p - i. Is p < -1/4?
False
Suppose 2*p - 3 = -p. Which is greater: -6/17 or p?
p
Suppose 0*k + k - 3 = 0. Let f = 2 - -3. Which is greater: k or f?
f
Let m be (-19)/1 + 3/3. Let g be ((-4)/15)/((-4)/m). Let t be (-2)/(-4)*1*-2. Is t bigger than g?
True
Let g = -16245 - -97117/6. Let c = g + 59. Which is greater: 0 or c?
c
Let k be ((-16)/(-10))/((-2)/(-5)). Suppose 3*f - k = 2*f. Let u be 5/15*42/f. Which is smaller: 3 or u?
3
Let w(p) = p + 7. Let s be w(-7). Suppose o = -s*o + 3. Suppose 2*b + 15 = -3*x + 5*b, 0 = 4*x - o*b + 16. Are x and 1 non-equal?
True
Let k be (8 - 16) + 7/1. Let x = -29.3 + 31. Does x = k?
False
Let s = -28 - -21. Let w = -7 + s. Is 2 <= w?
False
Let i be (-98)/21 - (-4)/(-3). Which is greater: 2 or i?
2
Let c = 11 - 5. Suppose 0 = -a - a + 10. Which is greater: c or a?
c
Let y = -21 - -15. Let r be 8/y*-1 + -1. Let o = 17 + -18. Which is smaller: o or r?
o
Let l be (-56)/120*6/21. Let b be (-1 - -1)/(-1*2). Is b equal to l?
False
Let v = 0.1 - 3.1. Let t = 1 + v. Let x = 1.9 + t. Which is bigger: x or 1/2?
1/2
Let l = 12/37 + 137/148. Let i(d) = -d**2 + 2*d + 4. Let t be i(3). Which is smaller: l or t?
t
Let f be (-3129)/6786 + (-4)/26. Let q = f - 3/58. Let m = -206/5 - -41. Is m greater than q?
True
Let a be -2*(1 - 3/6). Let j be 1/(-1 - a - 3). Is j at least 0?
False
Let f be 2/(-3) - (2375/60 + -1). Are -40 and f non-equal?
True
Let z = 0.3 + -0.4. Let g = -0.1 + z. Is -3 greater than or equal to g?
False
Let o = -0.082 - 0.218. Is o equal to -1/8?
False
Let d be (-138)/80 + -1 + 3. Let l = 1/10 + d. Let a = -2 - -3. Are a and l nonequal?
True
Suppose -4*l + 12 = -2*w, -4*l + 18 = 2*w - w. Suppose 0*n - 2*n = 5*j, l*n + j = 0. Do n and -15 have the same value?
False
Let q = -0.07 + 4.07. Let t = -3.9 + q. Which is smaller: t or -1/4?
-1/4
Suppose 0*p = -p. Suppose p = -0*q - 2*q + 12. Is q less than 5?
False
Let g = 0.4 - 2. Let h = 0.3 - -0.1. Let o = g - h. Which is smaller: 2/5 or o?
o
Let m be (10/50)/((-4)/(-10)). Which is bigger: m or 0.06?
m
Suppose 0 = -5*y - 2*d - 33, -4 + 12 = -4*y + 3*d. Which is bigger: y or -4?
-4
Let g be 4/18 - (-35)/45. Let t be 2/20*1*-2. Is t < g?
True
Suppose -5*s = -2*s - 3, -4 = 3*z + 2*s. Let g(q) = q + 2. Let v be g(-2). Which is bigger: z or v?
v
Let s be 1*(1 + -1)*1. Let z = 0 - s. Are z and 1 non-equal?
True
Let l = 3 - 0. Suppose 3 = -l*r - 12. Are -1 and r non-equal?
True
Suppose 3*k - 7*k - 4 = 0. Let o be (-4)/10 + 210/275. Which is smaller: k or o?
k
Let j = -263/2 + 130. Is j at most as big as 0.2?
True
Suppose 2*c - 144 = -6*c. Which is bigger: c or 14?
c
Suppose 3 = -g - 2. Let t be -1 - -5*(2 - 3). Which is greater: t or g?
g
Let n be (-156)/2133 + 1/3. Let y = 3/79 - n. Are y and -1 unequal?
True
Let u = -2 + 2.2. Let y = u + -1.2. Let t = -34 + 103/3. Which is smaller: t or y?
y
Let a = -15 + 20. Suppose 2*z + 11 = -o + 4*o, -11 = -a*o - 4*z. Let d(p) = p + 4. Let n be d(-2). Which is greater: o or n?
o
Let l = 117/16 - 6935/944. Does -1 = l?
False
Let s be (1 - 3) + 1 + 3. Suppose s*j = -8 + 2, 3*j - 3 = -3*k. Suppose -t = k*t. Which is smaller: t or -1?
-1
Let p(v) = -2*v + 6. Let f be p(4). Suppose 3*t = -5*x - t, 0 = -t. Is f at least as big as x?
False
Let a be (49/3)/(19/(-3) - -6). Is -48 at most as big as a?
False
Suppose -3*f = -f + 5*a - 54, 0 = 4*f - 2*a - 60. Is f bigger than 16?
True
Let j(t) = -t**2 - 14*t + 12. Let q be j(-15). Is -3 less than q?
False
Suppose 0 = -4*y - 4, 3*w - 2*y + 1 + 0 = 0. Let g = 10 + -11. Let h = g - w. Which is smaller: 1/15 or h?
h
Let s be 0 - (6 - (-2 + 3)). Let v(y) = y**3 + 6*y**2 + 5*y + 2. Let b be v(s). Let j(d) = -2*d + 3. Let r be j(b). Is r greater than -1?
False
Let i be -1 - 43163*146/(-590). Let y = 10680 - i. Let j = y - -941/4130. Which is smaller: 0 or j?
0
Let z be (9/6)/(27/12). Is 2 bigger than z?
True
Let a = 0.7 + -0.8. Is a less than or equal to 16?
True
Let h be 0/(-1) - 3/15. Let u = -9.16 + 9. Le