 Which is smaller: o or 2?
o
Let v = 4 + 1. Suppose 5*k + v*h = 2*h - 12, -3*h - 12 = 0. Let m = 1/64 - -59/320. Which is smaller: k or m?
k
Suppose -3*z = -2*g - 12, g - z + 4 = 3*g. Let w(f) = f**2 + f - 2. Let t be w(0). Let o be g*t/6 + 0. Is o at least as big as 0?
True
Suppose -6*x = -4*x - 2*r + 8, 3*x - r = -4. Let h = 1 - x. Suppose -2*u + 14 = 2*f, 0 = -3*u + 5*f - 6 - 13. Which is smaller: u or h?
h
Let l = 493/5 + -98. Is l not equal to -0.02?
True
Let j(b) = b**2 + 6*b - 4. Let a be j(-7). Suppose a*y + y = 36. Suppose -4*c + 3 = -t, 5*c - 39 + y = -4*t. Is 1 less than or equal to c?
True
Suppose -3 = 3*q - 6. Let n = 2647/1465 + -2/293. Which is smaller: q or n?
q
Let n be (46/(-3))/((-22)/33). Are n and 20 unequal?
True
Suppose -s + 9 = 2*s. Suppose -4*u = -s*t - 4 + 13, 5*u + 14 = t. Let m be 2 + 0 + (t - 1). Is -2 < m?
True
Let v(k) = -k**3 - 2*k**2. Let u be v(-1). Let n(o) = o - 5. Let b be n(4). Let q be (-7)/35 + b/(-5). Is u < q?
True
Let d(n) = -n + 10. Let a be d(17). Let h = 9 + a. Which is smaller: 1 or h?
1
Let l be (4/(-10))/(2/10). Let k be (-1)/l*(-14)/(-35). Is 1/4 at most as big as k?
False
Suppose -4*f - 2 = -10. Suppose -k - 6 = -3*k. Suppose -k*n + 19 = 4*j, -j + 2*n - 3 = 6. Which is bigger: j or f?
f
Let g = 14 - 13. Which is greater: g or 3/7?
g
Let z be (-4)/10 - 264/(-360). Is 18 > z?
True
Let y be -3 - (-1 + 1 - 7). Let j = -5 + y. Do 1/2 and j have different values?
True
Let n(y) = y**3 + 15*y**2 + 11*y - 11. Let r be n(-14). Which is bigger: -0.2 or r?
r
Let o = 0.1 - -0.3. Let d = 0.5 - o. Is 4/7 >= d?
True
Suppose -g + 1 = -6. Let x(o) = o**2 - 6*o - 2. Let l be x(g). Suppose l*n = -k + 9, 15 = -5*k + n + 4*n. Is k greater than or equal to 2/5?
False
Let w(t) = -3*t + 32. Let k(v) = v - 11. Let y(z) = 11*k(z) + 4*w(z). Let s be y(5). Suppose 3*j - 3*l = 1 + 5, l = 5*j + s. Which is bigger: 2/13 or j?
2/13
Let x(c) = c**3 - 5*c**2 - c + 2. Let h be x(5). Let k be (-3)/h - 10/3. Which is bigger: k or 1?
1
Suppose -3 = -9*k + 8*k. Suppose -k = -u - 0. Let j = u - 0. Is 3 at most as big as j?
True
Let k = 1628/1651 - 8/127. Which is bigger: 0 or k?
k
Let v = 7 - 4. Let d = 12 + -12. Which is bigger: d or v?
v
Let j = -113 - -125. Is j at most as big as 1?
False
Let g be 3*(28/(-6))/2. Let p = g - -6. Is 0 at least as big as p?
True
Suppose 0 = -5*f + 252 + 8. Suppose 0 = 3*i + 3*n + 42 - 6, -f = 5*i + n. Which is bigger: -12 or i?
i
Let o = -1 + 0.7. Suppose -2*u + 83 - 85 = 0. Which is smaller: o or u?
u
Let x be (-10)/8*(-16)/(-40). Do -2 and x have the same value?
False
Let k = -8.2 - -8. Is -5 less than k?
True
Let m be (-10)/(-16)*1*4/(-6). Which is smaller: m or -1?
-1
Let g = -8 + 11. Suppose g*d - 15 = 0, 2*d + 4 = 4*t + 2. Let k = 1 - -2. Is k less than t?
False
Let w = -3/496 - 1377/18352. Which is bigger: 1 or w?
1
Let m be (5*1/20)/(10/328). Is m smaller than 7?
False
Suppose -1 + 13 = 2*c. Let z be (1 - -2)*(-2)/c. Suppose 6*u - u = -10. Which is greater: u or z?
z
Let m(a) = a**2 + 21. Let r be m(0). Let c = 14 - r. Is c < -6?
True
Let r be (-12)/18 + 178/(-3). Let d = r + 178/3. Is d < 1?
True
Let i(b) = 4*b**2 + b. Let p be i(-1). Suppose -12 = -p*u - u, -m + 9 = 2*u. Suppose 0 = 6*y - m*y. Is -2/9 at least as big as y?
False
Suppose 4*n - 4 = v, -4 = -5*n + 6. Suppose -4*p = 4*h - 28, 5*h + v*p = 5 + 26. Suppose -2*q - h + 1 = 0. Which is smaller: -3 or q?
-3
Let o = -29 + 31.04. Let t = -0.04 + o. Is t bigger than 0?
True
Let t be ((-5)/(-2) + -3)*2. Let w(i) = -i**2. Let x be w(t). Let s be (-3)/(-6) + 5/(-4). Is s at most as big as x?
False
Let h = -124 - -125. Let d be -1*((-2)/1 - 2). Is d < h?
False
Let q = 30 - 9. Let p = 0.2 + -0.2. Which is smaller: p or q?
p
Let z be 8/((-3 + -1)*(-7)/14). Which is smaller: z or 3?
3
Let t be 15/2*((-6)/5)/(-1). Is 33/4 less than t?
True
Let c be (-154)/(-49) - (-1)/(-7). Are c and 1 unequal?
True
Let k = -65 - -64.9. Is k > 10?
False
Suppose 0 - 2 = -2*h. Let r(u) = -u**2 + 4*u + 1. Let p be r(5). Let y be 1/2 - (-2)/p. Which is bigger: h or y?
h
Suppose 4*a - 5 = 9*a. Suppose 0 = 2*j - 7*j + 10. Suppose -j = 5*t + 8. Is a != t?
True
Suppose -5*a - 3*i = 9, 6 = 3*a - 2*i - 0. Which is smaller: a or -2/9?
-2/9
Let s = -43/2 + 22. Which is bigger: -1/3 or s?
s
Let f = -8 + 4.89. Let i = f - 0.09. Let p = i - -3. Is p at most 1?
True
Let d(y) = 4*y**2 + 4*y - 4. Let l be d(-3). Let p = l + -19. Which is bigger: p or 6/11?
p
Let i(t) = t - 9. Let d be i(11). Suppose d*o - 4*o = 5*k + 23, k - 13 = 4*o. Is -2 at least k?
True
Let h = -23 + 11. Let q be ((-2)/h)/((-3)/(-6)). Suppose 0 = -4*w - 4*w. Which is smaller: q or w?
w
Let r = -5 + -2. Let t = 2 + r. Which is bigger: 0 or t?
0
Let s = -3 + 3.1. Let m = 3/14 - 37/42. Which is smaller: m or s?
m
Let r(p) = -2*p - 9. Let g be r(-6). Suppose 0 = 4*a - g*a - 2. Suppose -7 = -a*f - 5*s - 20, -4*s = -4*f - 12. Is -3 equal to f?
False
Let s = -1.9 + 7. Let t = -5 + s. Which is bigger: 3/5 or t?
3/5
Let j = 315 + -12287/39. Let t = -35/78 + j. Let m(a) = -a. Let o be m(0). Is t less than o?
True
Suppose 0*g + 6*g = 0. Is 7/6 at most g?
False
Let d = 13/9 + -7/9. Which is bigger: d or 0.68?
0.68
Let p be (-2)/(-6) + 20/12. Is p equal to 2?
True
Let o be 27/(-9) + (-202)/(-38) + -2. Are -1 and o nonequal?
True
Let l = 12836/41667 + -20/731. Let k = 1/19 + l. Is k greater than or equal to -1?
True
Let q = 8.03 - 8. Let f = -0.03 + q. Let l = 1 - 7. Which is smaller: f or l?
l
Let d(f) = f - 1. Let u be d(-5). Let z = -7 - u. Which is bigger: z or -12/7?
z
Suppose 5*m - 20 = -5*t, 0 = 5*m - 3*t - t + 25. Which is greater: m or 0?
0
Let q = 0 + 6. Let x be (-1)/(q/4)*-6. Suppose 0 = x*m + 6 + 14. Which is smaller: -3 or m?
m
Let v(a) = a**2 + 3 + a - a - 9 + 2*a. Let m be v(-5). Which is smaller: m or 10?
m
Suppose 3 + 1 = 4*b. Is b smaller than 2?
True
Let g = -10 + 14. Suppose 2*b - g*b = 0. Is -1/6 < b?
True
Suppose 4*f = 0, -x = -2*x - 5*f. Let j = x + -1. Let p be (-3)/18*18/(-51). Which is greater: j or p?
p
Suppose -5*m - 15 = 4*d, 5*m - 4*m + d + 2 = 0. Is -5 less than m?
False
Let f(z) = z**2 + 10*z - 15. Let r be f(-11). Let d = -2 + 8. Let j be (d*1/2)/(-1). Are r and j nonequal?
True
Let c(f) = -f**2 + 7*f - 8. Let k be c(6). Let j be 1 + (-8)/(-2) + k. Suppose 2*l - 20 = -j*l. Is 1 at least as big as l?
False
Let i be 2*(4 - 1)*-1. Which is greater: i or -2?
-2
Let s be -1 + 1 - 3/16. Let p = 72 + -72. Is s < p?
True
Let u = 0.31 - 0.51. Which is greater: u or 7/4?
7/4
Let x(m) = -7*m + 1. Let w(o) = -3*o. Let n(k) = 5*w(k) - 2*x(k). Let h be 4/18 - 6/27. Let j be n(h). Is j at most -2?
True
Let g = -12.4 + 14. Let n = -1.1 + g. Is n bigger than -2/5?
True
Let d(f) = 2*f + 20. Let z be d(-3). Are 14 and z non-equal?
False
Let n = -140 + 139.11. Let a = 0.21 - n. Let b = a - 0.1. Which is bigger: 2 or b?
2
Suppose 2*g - 11 = -1, 5*g + 80 = 5*o. Is o > 18?
True
Suppose 2*f = -f + 12. Let u be 1 - f/(56/18). Let v = 45/2 + -23. Is u equal to v?
False
Let s = 82 + -248/3. Which is greater: s or -29?
s
Let f(b) = -b**2 + 8*b - 5. Let y be f(7). Suppose -2*q = -3*u + 4, -2*q = -5*u + y + 2. Which is bigger: u or 3/7?
3/7
Let o = 0 - 1. Let q = 0.1 + 0.4. Let w = -0.7 + q. Is w at least o?
True
Let p = -0.05 + 0.2. Let h = p + -0.05. Which is smaller: h or -0.3?
-0.3
Let c = 1359/7 - 193. Let i(p) = p**2 - 6*p + 5. Let v be i(5). Let u be v + 0*(-1)/(-2). Which is greater: u or c?
c
Let h = -6 + 5. Which is bigger: h or -1/4?
-1/4
Suppose 0 = -2*y + 14 - 6. Suppose -y*s - 21 = -w - 2*w, 5*s + 6 = -3*w. Is 4 <= w?
False
Let v(u) = u + 3. Let t be v(-1). Is t equal to 5?
False
Let z = 131/35 + -19/5. Which is greater: 1 or z?
1
Let l(z) = 6*z**3 - z. Let w be l(-1). Let o = w + 4. Suppose 2*u = -3*g + 4*u + 3, -u - 2 = -g. Is g at most as big as o?
True
Let z(s) = -s**3 - 3*s**2 - 2. Let i(j) = j**3 + 4*j**2 + 2. Let k(u) = -4*i(u) - 5*z(u). Let y be k(0). Which is smaller: 3 or y?
y
Let d = -73 - -368/5. Let y be (-1 + 2)/(-1) + 0. Let x be 3*(6/(-9))/y. Which is smaller: d or x?
d
Let h(o) = -3*o + 22. Let j be h(8). Which is smaller: -1 or j?
j
Let d = 614 - 31931/52. Let q be (2/((-104)/114))/(-12). Let u = q + d. Which is smaller: u or -1?
-1
Let z = 199 + -199.2. Let a = 0.38 + -0.08. Which 