l?
False
Let q be ((-6)/(2 + 4))/1. Let l be (0*(-1 - 0))/(-2). Which is bigger: l or q?
l
Let c(o) = 3*o**3 + 2*o**2 - 1. Let n = -6 + 7. Let r be c(n). Let t(k) = -k**2 - 9*k - 10. Let x be t(-7). Is x < r?
False
Suppose -3*s + 4*l - 16 = -s, -11*s + 4*l - 16 = 0. Which is greater: s or -4/705?
s
Let t be (-1)/4 + 12/(-448)*44. Suppose 2 = -b - 4*c - 10, 0 = 3*b - 3*c - 9. Are b and t nonequal?
True
Let i be -1 - 82/2 - 2. Suppose -4*f - k + 176 = -8*f, 74 = -2*f - 3*k. Which is bigger: i or f?
f
Suppose -4*v + 9*v + 190 = 0. Let p be (-1)/6 - v/12. Suppose -4*j = -p*j. Which is bigger: j or 1?
1
Let h = -508 - -509. Which is bigger: h or 24/37?
h
Let z be 5520/440 - (-12)/(-22). Is 34/3 at most as big as z?
True
Let n be 54/(-2) + (-16)/(-4) + -3. Let p = 14 + -40. Is p at most as big as n?
True
Suppose 0 = -13*j + 15*j + 54. Is -30 less than or equal to j?
True
Let y = -980 + 980.05. Is y at most 0.9?
True
Let t = 20 - 34. Let w be 21/t + (-17)/18. Is -2 > w?
True
Suppose 4*f + f - 4 = 3*i, 0 = -4*f + i + 6. Do -2 and f have different values?
True
Let g(s) = -13*s - 47. Let u be g(-6). Suppose u + 4 = 5*l. Is l less than 9?
True
Let h(k) = k**2 + k - 12. Let n be h(-5). Let b be (-14)/(3/(12/n)*1). Let f be -5*(-2 + 1 - -2). Is b > f?
False
Let k(a) = -6*a + 11 - a + 6*a. Let z = 34 + -39. Let r be k(z). Do 1 and r have different values?
True
Let f = 1255/28 - 687/28. Is 19 greater than f?
False
Suppose 0*t = -3*t + 48. Let d be t/24*27/546. Which is smaller: d or -1?
-1
Let u be (1*(-2 + -17))/1. Is 0.03 equal to u?
False
Let m be (-4)/14 + (-340)/(-14). Let j be -1*(-5)/((-10)/m). Let x(a) = -27*a + 880. Let v be x(33). Are v and j unequal?
True
Suppose 3*w - 5*q = 174, -5*w - q + 324 = 2*q. Suppose -o = 3*d + 2*o - 45, -5*d = o - w. Let m be (-4)/66*d/8. Which is greater: m or 1?
1
Let l = 0.5 + -0.6. Let x be -6 + (3 - (3 - 3)). Is x greater than l?
False
Let w(s) = s - 1. Let y(g) = 2*g + 14. Let c(x) = -5*w(x) + y(x). Let u be c(6). Suppose j - u = -0*j. Is 8/7 equal to j?
False
Let s = 204.3 + -215. Let a = s + 11.7. Suppose 0 = -2*i + 4*m - 26, 4*i + 4*m + 0 = -4. Which is greater: i or a?
a
Let o = 10.2 - 4. Let d = o - 5. Let v = d - 1.2. Are v and 2/21 equal?
False
Let a = -20272/7761 + -2/597. Let i = -473/156 - a. Do 0 and i have the same value?
False
Suppose 15 = a + 4*a + 2*b, -5 = 5*a - 2*b. Let z be 3 + a + ((-222)/9 - 4). Which is smaller: z or -26?
-26
Let k = -1217 + 23125/19. Is 324 > k?
True
Suppose -20*h - 30 = -17*h. Let l = 25 + h. Which is bigger: 14 or l?
l
Let g = 66 + -65. Which is greater: g or -2/403?
g
Let y be (158/98 + -1)/((-9)/(-14)). Which is bigger: y or 2?
2
Let f(q) = 4*q**2 + q - 3. Let n be f(3). Suppose -n - 14 = -5*k. Suppose 4*l - 11 = -5*u, 0*l - 2*u = -2*l + 28. Are l and k non-equal?
True
Let v be -163*2/234*3. Let o = 13/3 + v. Which is smaller: -1 or o?
-1
Let d be (-8)/24 - 140/12. Which is bigger: 3 or d?
3
Let v = 2.2 - -10.7. Is v less than -1?
False
Suppose 0 = 15*l - 85*l + 5880. Is 3 less than or equal to l?
True
Let l = 20/11 - 161/22. Let r = l - -17/3. Is 0 < r?
True
Suppose u = -2*u. Let i = 420 - 250. Let p = i - 159. Which is bigger: u or p?
p
Let f = -6 + 11. Let c = -2 + f. Suppose -2*w + 4 = 5*o, 4 = 2*w - 2*o + c*o. Which is bigger: -1 or w?
w
Let n = -3250.111 - -3248. Let t = -0.111 - n. Is t smaller than -0.09?
False
Let k = -22 - -98. Let t = 78 - k. Which is smaller: t or 0.05?
0.05
Suppose 4*o + 762 = 2*s, 58*o + 2*s = 61*o + 570. Is o greater than -191?
False
Suppose 0 = -z + 15*z + 322. Is z at least as big as -23?
True
Let h = -42.02 - -0.02. Let n = h + 44. Let w = -0.5 - -1.1. Which is smaller: w or n?
w
Let n be (32/40)/((-2)/65). Let g = -70 - n. Let x be 13/g - (-3)/12. Is 0 at most x?
False
Let r be (-9)/(-15) - (-43)/(-55). Let q = 1.43 - -0.17. Let a = -1.3 + q. Which is bigger: a or r?
a
Suppose 0 = l - 2 - 2. Let a = 766 - 761. Is a at least l?
True
Let d = -3019 + 54359/18. Let w = d - 4/9. Which is bigger: -3 or w?
w
Suppose 5*s - 77 + 407 = 0. Are -67 and s unequal?
True
Let v = -403/60 + 101/12. Which is bigger: v or 1?
v
Let d = 436/1643 + 15/53. Is 0 not equal to d?
True
Let b = -205/4 + 211/4. Which is smaller: b or -1.1?
-1.1
Let y = 3 - 0. Suppose 3*l + 6 = -2*k, -4*l - 8 = -k + y*k. Let c = -43/5 - -564/65. Is k less than c?
True
Suppose 0*c + 3*c = -6. Suppose 5*g + 5*x = -0*g - 40, 0 = -g + 2*x - 8. Let d(a) = -a**2 - 7*a + 6. Let s be d(g). Are s and c nonequal?
False
Suppose 2*z - 5*d = -z - 7, -d = z + 5. Let o = 5 + z. Which is smaller: o or -2/55?
-2/55
Let t be 12/30*((-6)/4)/(-3). Let q = -6 + 12. Suppose 0 = -4*w + s - 5, -w - 3*s = -8*s + q. Is t bigger than w?
True
Let r be (2/4*4)/((-18)/621). Is -70 not equal to r?
True
Let g = 68616360290/3379 - 20306706. Let h = 6/31 - g. Is h < -1?
False
Let f = 525 + -893. Let h be 6/8 + f/320. Is 0.11 != h?
True
Suppose -3*d - v + 19 = 0, -7*d + 11*d + 4*v - 12 = 0. Is 5 < d?
True
Let v = -730 + 730. Do v and 2/103 have different values?
True
Let l(p) = p + 18. Let b be l(-17). Which is bigger: b or -6/65?
b
Let o = 2.15 - 2.45. Which is smaller: -218 or o?
-218
Let j = 89/150 - -6/25. Suppose 0 = 2*y - 30 + 28. Which is smaller: j or y?
j
Let k = 28 - 34.8. Is 0.2 greater than or equal to k?
True
Suppose 4*b + 416 = -4*w, b + 2*w = -118 + 12. Let y = b - -102. Which is greater: y or -4/3?
y
Suppose 0 = -3*k - z + 11, -4*k + 8*k - 3*z - 19 = 0. Suppose -3*q + 15 = -2*y, -5*y + 2*q - 5*q - 6 = 0. Is y at least as big as k?
False
Let k be (-33)/44 - 6/(-8). Which is greater: k or 3/239?
3/239
Suppose -18 = -i - 4*l, 8*i + 5*l - 60 = 3*i. Let n(h) = -2*h**2 - 28*h - 19. Let g be n(-13). Let v = g - i. Is v >= -5?
True
Suppose -5*r = -42 + 7. Suppose 2*v - 270 = -3*v. Suppose 57*d = v*d + 15. Is r at least d?
True
Let o = -0.61 + 4.91. Let i = 26.3 - o. Is 0 <= i?
True
Let l = 16.86 - -0.14. Let z = 32 - l. Which is smaller: -1 or z?
-1
Suppose -24*r + 28*r = 12. Suppose 2*o + q + 4 = -r*q, 3*o - 2*q - 2 = 0. Which is smaller: 6 or o?
o
Let l = -251693 - -186504590/741. Let m = -2/39 + l. Let r = 87/152 + m. Which is smaller: 1 or r?
r
Let p = 39869 - 200241/5. Which is bigger: -179 or p?
-179
Suppose -6*v = -20*v. Is -2/433 >= v?
False
Let b = 69 + -65. Let x be -1 + 3 + b/(-1). Which is bigger: x or 0?
0
Let o = 0.067 - -3.233. Let c = o - 5.3. Which is greater: c or -5?
c
Let g = -123.263 - -0.263. Let d = -123 - g. Is d <= -0.04?
False
Let c be 3/((-63)/6) - (-216)/21. Let s be ((-9)/27*12/c)/(-1). Which is greater: -1.3 or s?
s
Let t be 2048/(-154) - 88/(-154). Is -14 < t?
True
Suppose 2*q = -3 - 5, -d + 4*q - 14 = 0. Let m be (-1)/6 + (-125)/d. Suppose 0 = -m*x - 0*x - 24. Is x >= -6?
True
Let l = -232.8 - -233. Which is greater: -0.09 or l?
l
Suppose 0 = 82*r - 106*r. Which is bigger: 1/254 or r?
1/254
Suppose -r - 78 = 132. Let s be (-10)/(-75) - 92/r. Which is greater: -1/2 or s?
s
Let j = -81 - -80.934. Let t = j + 26.066. Is t less than 1?
False
Suppose 10 = 2*p - 3*y, p + 0*p - 4*y = 5. Let d(b) = 2*b**2 - b + 6. Let u be d(0). Is p at least as big as u?
False
Let g(q) = -q + 13. Let t be g(12). Which is smaller: -3/61 or t?
-3/61
Suppose 24 = -8*k + 32. Are k and -3/40 nonequal?
True
Let u(r) = 14*r - 47. Suppose 2*q + 4*s - 22 = 0, 5*q = -2*s - 3 + 34. Let z be u(q). Which is bigger: z or 24?
24
Let h = 4.8 + -5. Does -1.5 = h?
False
Let p be (6/8)/((-27)/(-24)). Which is smaller: p or -9.3?
-9.3
Suppose -8*g - 34 = -10*g. Let z = 35/2 - g. Is -1/5 at most z?
True
Let u = 272/9 + -30. Let a = -8/27 + u. Which is bigger: a or 0?
0
Let u = 392.27 - 391. Is -1 < u?
True
Let y = -590 + 589. Which is smaller: y or -1/13?
y
Let g = -110 + 133. Is 68/3 <= g?
True
Let o be 26/(-36) + -3 - -2. Let r = o - -20/9. Which is smaller: r or 11?
r
Suppose -3*j + 0*j - 2*p = 0, -5*j = -3*p. Which is smaller: j or -3/233?
-3/233
Let r = -8513 + 110732/13. Which is smaller: 6 or r?
r
Let v be (-35)/(-14)*(3 - (-28)/(-8)). Suppose -10 = 5*y, -4*o + y + 2 = -0*o. Is v not equal to o?
True
Let y = -0.9 + -6.1. Let r = 22.7 - 26.7. Let x = r - y. Which is bigger: x or 1?
x
Let d = 0.85802 - -0.14198. Let g = -382 - -5343/14. Is g > d?
False
Suppose -2*x + 223 = -5*p, -11*x + 13*x - 193 = -5*p. Which i