 Which is smaller: 1 or v?
v
Let k(u) = -43*u**2 - 2*u - 3. Let y be k(-1). Let m = 44 + y. Are m and 1/6 non-equal?
True
Let p = -34 + 37. Let r be (2 - 3) + 32/p. Which is smaller: 9 or r?
9
Let g(w) = -w**3 - 11*w**2 - 10*w. Suppose -4*c = -2*m - 28, -2*c - 5*m = 2*c. Suppose -4*o = 45 - c. Let d be g(o). Which is greater: -1 or d?
d
Let k = 1045 - 21955/21. Which is smaller: 1 or k?
k
Let h = -4 + 6. Let j be 30/(-4) - 1/h. Suppose 75*w - 38*w + 259 = 0. Do j and w have the same value?
False
Let m be 2/11 + (-2400)/(-110). Let c be (583/m)/((-2)/(-8)). Let d = 532/5 - c. Is -1 greater than or equal to d?
False
Suppose 0 = -w + 3*w - 24. Suppose -g - 2*a + 5 = -6, -3*g - w = -3*a. Let d(u) = 7*u - 5. Let o be d(1). Which is smaller: o or g?
g
Let p = -51 + 53. Suppose 2*k + 8 = p*u, k - 4 = 1. Let m = -0.5 - -0.3. Is u not equal to m?
True
Let q be (-9488)/156*(-3)/(-2). Suppose -3*h - 240 = 33. Let d = q - h. Which is smaller: -1 or d?
-1
Suppose -o = 2*q + 1, 2*o + 3*q = o - 1. Which is greater: o or -2/309?
-2/309
Let h be 50/28*(17/5 - 5). Is -4 greater than or equal to h?
False
Let m = -20 + -20. Let r = -27 - m. Is r > 13?
False
Suppose -f = -4 - 6. Suppose 16*w - f = 21*w. Is w >= -1?
False
Let i = 317 - 518. Is i less than -201?
False
Suppose -5*g - j = 684, -14 - 2 = 4*j. Let s = 1359/10 + g. Which is greater: 0 or s?
0
Let c(s) = s**3 - 4*s**2 + 6*s - 8. Let r be c(4). Let j = r - 15. Which is smaller: j or 0?
0
Let f(p) = 2*p. Let o be f(3). Let h be o/15 + (-11)/15. Let y be (-2)/2 + (-3 - -3). Which is bigger: h or y?
h
Let y be (-5)/(-2)*(-11)/(-2). Let n = 230 - 214. Let i = y - n. Which is bigger: i or -2?
-2
Let x be (-2 + (-56)/(-12))*18. Suppose 139*r = 142*r + x. Let q = -1.9 + 2. Which is greater: r or q?
q
Let y = -872 + 832.1. Let t = 2.9 + y. Let s = t + 37.02. Which is smaller: 0 or s?
0
Let n be 6/(-51) + (-21020)/(-68). Are 310 and n non-equal?
True
Let n = 0.17 - 0.47. Let i = 14 + -10. Let h be (i/7)/((-20)/(-14)). Which is smaller: h or n?
n
Let o be 1 + ((-8148)/186)/14. Which is smaller: -3 or o?
-3
Let i be (0/(-3))/(10/(-5)). Let t be 2/(-6)*(31 - (i - 2)). Is -9 not equal to t?
True
Let s be 0 + 1 - (-8)/(-10). Let n = -64 + 118. Let m = -53.7 + n. Which is smaller: m or s?
s
Suppose 266*d = 243*d - 46. Which is bigger: d or 10?
10
Let h be (-4)/((-28)/21) - -30. Which is greater: h or -0.3?
h
Let n = 31.958 - -0.042. Let x = n + -40. Which is smaller: x or 2/3?
x
Let u = -5 - -9. Let t = 170.2 + -185. Let w = t + 15. Is u less than or equal to w?
False
Let m = -13813/3 + 4539. Which is smaller: -65 or m?
m
Let x = -3/3392 + -522329/44096. Which is smaller: x or -13?
-13
Let y = 709 + -1479. Which is smaller: y or -771?
-771
Let f = -319 + 459. Let l = f - 136. Which is smaller: l or -2/7?
-2/7
Suppose 112 = -3*q + 5*t, 92 = -3*q + 117*t - 122*t. Is 1 <= q?
False
Let i = -0.0086 + -0.0514. Is -41 < i?
True
Let l be 306/4*16/24 + -5. Does 45 = l?
False
Let i be (-2 + 14 - -1)/14. Let b = 3/7 - i. Let r be (-51)/(-108) + (-2)/8. Which is smaller: b or r?
b
Let y = 17/228882 - 37723627/463028286. Let d = y - 4/289. Let j = -0.1 + 0.2. Which is smaller: d or j?
d
Let s be 2/(-9) - 20/(-9). Let b be (-115)/(-10) + -3 - -1*(-63)/9. Which is smaller: s or b?
b
Let h = 39.7 - 40. Let z = -7.6 + 8. Let y = z - 0. Is h less than or equal to y?
True
Let p = 124 - 6075/49. Let r(h) = h**2 - 24*h - 180. Let o be r(30). Which is greater: o or p?
p
Let g = -2 + 1.7. Suppose 4*s + 0*s - 704 = 0. Let h be 0 - 3 - (s/(-12))/4. Is g smaller than h?
True
Let p be 1/2 + 348/24. Which is smaller: 143/9 or p?
p
Suppose -2*o - l = -14, -3*o - 4*l + 3 = -8. Let v be (0/(-4) + 2/(-6))*-31. Which is smaller: v or o?
o
Suppose 3*n = 2*r + 246, n - 4*r = -0*r + 82. Let g = -85 + n. Is -24/11 at most as big as g?
False
Let u = 1755 - 1724.5. Which is bigger: -2 or u?
u
Let a be (-2)/3*6/(-2). Let q = 263/9 + -248/9. Which is bigger: a or q?
a
Let s be (-4 + 1)/((924/(-8))/(-7)). Is s less than 4/3?
True
Let d = -58 + 65. Suppose d*y + 71 = -6. Which is smaller: -21/2 or y?
y
Let d = -32.437 - -0.437. Which is bigger: d or 26?
26
Let y be -4*(-4)/(-8) - -158. Suppose y = -2*r + 6*r. Suppose -r*o = -43*o + 28. Do o and 4 have the same value?
False
Let o(q) = 11*q**3 + 2*q**2 - 1. Let d be o(1). Suppose -d*s = 2 + 10. Which is bigger: s or -3/25?
-3/25
Suppose -2*b = 3273 - 3275. Is b at least -30/251?
True
Let x = -0.1777 + 0.2397. Which is smaller: -2/3 or x?
-2/3
Let y be ((-2)/(-367))/(-8 - (-225)/30). Is 0 at most y?
False
Let t = 5 - 3.8. Let i = -230.1 + 205.9. Let l = t + i. Which is bigger: l or 2/3?
2/3
Let n(a) be the first derivative of 2*a**2 + 19*a - 5. Let j be n(-11). Is j >= -24?
False
Suppose -4*u = -2*r - 110, r + 151 = 5*u + 3*r. Let w = 127 + -85. Let p = u - w. Which is smaller: -14 or p?
-14
Let x(z) = 14*z + 44. Let h be x(-3). Which is bigger: h or 9?
9
Suppose -5*i - 2*n + 3*n = -4, i - 5*n - 20 = 0. Let s = -1 + i. Let f = 12 - 12. Which is greater: f or s?
f
Let x = 0.01 + -1.01. Let w(q) = q**3 + 6*q**2 - 10. Let k be w(-6). Let c be ((-20)/(-25))/(4/k). Which is bigger: c or x?
x
Let f = -2902.48 + 2903. Is f equal to -1?
False
Let f be 4/(-6)*(59 - 47). Let q(k) = -6*k**3 - k**2 - k + 1. Let u be q(1). Which is smaller: f or u?
f
Suppose -4*a + 2*v + 2 = 0, -3*a - 3*v = -10 + 22. Is -0.79 greater than or equal to a?
True
Let m = -106/617 + 221048/1293849. Which is greater: m or 1?
1
Let j = -6 - -2. Let b be (0 - (0 - 0))*2/j. Which is smaller: 1/60 or b?
b
Let g be (-6 - (-366)/26) + -8. Let x(o) = o + 9. Let k be x(-7). Suppose -6*d - 9 = 3*s - k*d, 2*d + 6 = 0. Which is greater: s or g?
s
Let g = 24 + -26. Suppose 0 = -3*h + 6, h + h = 4*s - 8. Suppose 11 = 5*q - q + o, s*q + 3 = -3*o. Is q less than g?
False
Let o be 825/(-410) - -7 - (4 + 1). Are o and -4 nonequal?
True
Let f be 33 - (-17)/(34/20). Are f and 0.06 equal?
False
Let u(y) = 13*y**3 + 3*y**2 - 3*y - 1. Let w be u(-1). Let s = -8 - -15/2. Which is smaller: s or w?
w
Let y be 6/144*-6*(-4)/(-11). Which is greater: y or 38?
38
Suppose 14*c - 16*c - 13 = 3*y, -3*c - 15 = 0. Which is bigger: y or 14/211?
14/211
Suppose 8*k + 10 = 58. Suppose -3*d - 2*f = -15, 2*d = k*d + 2*f - 18. Which is greater: d or -4?
d
Let j be (-133)/38*20/(-14). Let n be (6/j - 1) + (-2407)/3735. Which is smaller: n or -6/11?
-6/11
Let v be ((-2)/(-4))/((-7)/(-42)). Suppose -v*n - 2 = s, 2*n + 2 = -3*n - 2*s. Are -12 and n non-equal?
True
Suppose 4*a = -m - 91, 3*a - 65*m + 63*m = -71. Is a < -10?
True
Suppose -4*i - i - 27 = 3*v, -4*v = -4. Let z(f) = f**3 + 10*f**2 + f + 9. Let h be z(-10). Let o be (2 + (-28)/(-8))*h. Is i smaller than o?
True
Suppose 16 = 4*t - 5*g, -g - 9 = 3*t + 2*t. Let q be (-1038)/660 + t/(-1). Let a = -5/22 + q. Is -1 at least a?
False
Let z = 51 + -57.94. Let t = 7 + z. Let m = 1.5 + -2.5. Is t > m?
True
Let x = 0.24 + 18.76. Let u = 16 - x. Which is smaller: -1/6 or u?
u
Let p = -52 + 50. Is -30/31 bigger than p?
True
Let i be -1 - (-154)/6 - (-16)/(-24). Let f = i + -23. Which is smaller: f or -5/12?
-5/12
Let g = 301 - 101. Which is bigger: g or 199?
g
Let z be (121/22)/(1/2). Let a = z + -11. Suppose a = 6*f - 9*f. Is -1/8 greater than or equal to f?
False
Let h = 462 + -462.1. Is h < -150?
False
Let s = 2002 + -2001. Is 0.35 greater than s?
False
Let x be (5/(-15))/(2/54). Let k be x*(-4)/(-32)*-2*1. Is 1 less than k?
True
Let s = -68.47 - -0.47. Let m = s - -67.94. Which is smaller: m or -0.02?
m
Let d(w) = w**2 - 4*w - 4. Suppose 6*g + 39 = 3*g. Let h = 18 + g. Let a be d(h). Is 7/4 at least as big as a?
True
Let o be 8/33*92/56. Let k = o + 1/33. Is k equal to -1?
False
Let m be (-2)/5*(-2)/(-26). Let p be (-4)/18 - 165/(-135). Is p at most m?
False
Suppose 3*n + 4*t = 3 - 2, t - 5 = 4*n. Let z = -35 - -25. Let c = z + 8. Is n smaller than c?
False
Let p = 418.6 + -417. Let x = 0.25 + -0.15. Which is bigger: p or x?
p
Suppose -2*w - 2*l - 29 - 83 = 0, -l - 112 = 2*w. Which is bigger: -54 or w?
-54
Let x be 28/56 - 206/52. Is -3 at most x?
False
Suppose -h + 3 = 2*g + 2, g = -2*h + 5. Let s = 28/59 - 53/236. Is g smaller than s?
True
Let i = -1.9 - -2. Let a(x) = -x + 3*x - 4*x**2 + 11*x**3 - 10*x**3 + 2. Let b be a(3). Is i bigger