ller: o or a?
a
Let u = -168631/73 + 2310. Which is greater: -0.12 or u?
u
Let l(z) = 125*z + 2. Let j be l(-1). Which is bigger: j or 2?
2
Let p be -4*((-2)/(-9) - 294/108). Is 10 less than p?
False
Let y = 1 + -6. Let z be (-17 - -1) + (y - -3). Let x = 8 + -9. Is z at least x?
False
Let s = 0.334 - 1.334. Suppose -2*i - 4*t = -12 - 2, 0 = -4*i - 2*t + 34. Which is smaller: i or s?
s
Let v be (-13398)/(-10) + 644/(-805). Which is smaller: -1 or v?
-1
Let z be 1854/(-10) + ((-108)/5 - -23). Are z and -177 non-equal?
True
Let h = 1.9 + -1.89. Let t = h - -12.99. Let c = 128 - 127.9. Which is bigger: t or c?
t
Let p = -0.518 - -5.528. Let g = p + -0.01. Is g at least -1/2?
True
Suppose -3*p - 3 = -9. Let o = -3 + p. Let x be (-30)/(-117) - (-3)/(-9). Do o and x have the same value?
False
Let v = -21 + 13. Let g(d) = d**3 + 10*d**2 + 17*d + 17. Let h be g(-7). Let a = -54 + h. Is a > v?
False
Let t = 20 + -13. Suppose 3*o + t = 4. Let n be (3 + o)*(5 - 6). Is -4 less than n?
True
Let l = -57.4 - -57.4. Is 61 >= l?
True
Let m(n) = -18*n. Let j be m(-1). Let y be j/(-12)*(-2)/36. Is -1 at least y?
False
Suppose 14*j + 1460 = -6*j. Which is greater: j or -145/2?
-145/2
Let m(t) = -35*t + 334. Let p be m(10). Which is smaller: p or -10?
p
Suppose -5*d + 24 = -3*m, 4*d = m + 3*m + 24. Are 25/13 and d unequal?
True
Let u = -68 + 271/4. Suppose -5*i + 20 = -3*m - 3, -26 = -2*i - 3*m. Let q = i - 6. Which is smaller: u or q?
u
Let n be 56/(-252) + (-362)/(-252). Which is smaller: 1 or n?
1
Suppose 8*p - 44 + 4 = 0. Let f be -6 + p - 1/(28/(-22)). Which is greater: 0 or f?
0
Let d = 44728633/1023 - 43723. Is d greater than -1?
True
Let t = 13 - 165. Let o = -153 - t. Which is smaller: -3 or o?
-3
Suppose 0*z = -4*z + 96. Suppose -3*w = -3, -5*i = 4*w - 1 - 18. Suppose l - 75 = -i*a, -3*l = -2*a - 2*l + 50. Which is smaller: a or z?
z
Let b = -2 + -6. Suppose 0*n = n + 2*q + 20, 5*n = q - 45. Which is smaller: n or b?
n
Let p be 130/2015 + (-144)/310. Let x = -4 + 9. Suppose -4*j = -j - 3, -5*j + x = 3*y. Are y and p nonequal?
True
Let w = 62 - 42. Let x = w - 19. Is 1/2 <= x?
True
Let n = 50 - 33. Let o be 3 + 2*(-3)/2. Do o and n have the same value?
False
Let z = -2977 - -2982. Let w be 3 + 2 + 0 + -2. Suppose -w*q + 4*g + 6 = 18, -4*q - 12 = -4*g. Which is smaller: q or z?
q
Let k = -44 - -57. Suppose 0 = i - k + 17. Is 1 >= i?
True
Let i(t) = -2*t**2 - t + 16. Let s be i(-4). Let b be (-40)/310*2/s. Which is smaller: b or -1?
-1
Let v(m) = 2*m - 4. Let d be v(6). Let s = d - 4. Suppose 5*w + 2*f - 8 - 1 = 0, f - 12 = -5*w. Which is greater: w or s?
s
Let g = 13955/55868 + 3/13967. Suppose 0 = 5*k - 2 - 23. Which is smaller: k or g?
g
Let x = 1215/323 - 72/17. Let k(y) = -y**2 - 3*y + 1. Let v be k(-3). Which is greater: v or x?
v
Let m = 1.81 + 6.19. Are m and -0.08 equal?
False
Let a(u) = -2*u - 44. Let i be a(0). Let y = -45 - i. Is 1 < y?
False
Suppose -2*m - 3*m + 3*b = -9, -11 = -m - 4*b. Let i be m/18 + (-1)/3. Let a be (-5 - (-1 + -1))/1. Is i at most a?
False
Let l be (1020/(-80))/51 - (-631)/2492. Is 0 != l?
True
Let d = -3810 + 26665/7. Let a be 0/(-1) - (-3)/(-15). Which is bigger: d or a?
a
Suppose 4 = v - 3*v. Let w be ((51/24)/(-1))/((-15)/(-20)). Is v > w?
True
Suppose 2*d + 45 = 5*z + 40, 4*d + 15 = 5*z. Is 5/256 not equal to z?
True
Suppose -3*v = 4*z + 33, -2*z = 8*v - 3*v + 69. Let q be ((-1)/v)/(18/60). Let g = -1 + 0.2. Which is bigger: q or g?
q
Let u = -44.2 + 64.2. Let p = 0.7 - -0.3. Which is bigger: p or u?
u
Let h be (-2)/(3 + 17/(-5)). Suppose -3*w + 10 = 2*n + 2*n, -3*w + 1 = -h*n. Is 2 at most n?
False
Let y be 10/(-70) - (-18)/(-21) - -34. Is y at most as big as 31?
False
Suppose t - 15 = 48. Suppose -y - t = -3*x + x, 0 = y - 3. Which is bigger: 32 or x?
x
Let c = -1572.1 - -1572. Which is smaller: -68/35 or c?
-68/35
Let u = 2.54 - 1.17. Let l = 0.37 - u. Is 2 at most as big as l?
False
Suppose 6*n - 4*t + 114 = 7*n, -2*t = -6. Which is smaller: n or 105?
n
Let v = -34 - -7. Let u be (-573)/v - 2/9. Is 22 >= u?
True
Suppose p = -3*p + 3*t + 15, 4*t + 20 = -5*p. Which is smaller: 3/76 or p?
p
Let i = 6/131 - -232/655. Let w = 61 + -61.1. Which is smaller: w or i?
w
Let p = -3 + 4. Let j(k) = -2*k**3 + k**2 + k - 1. Let o be j(p). Which is greater: o or -2?
o
Let d = 1216 - 962. Is d <= 256?
True
Let t(u) = -1 - 3*u + 3*u**2 + 3*u**3 + 0*u + 5*u - 2*u**3. Let m be t(-3). Suppose -2*p = -6*p, 0 = z - 4*p + 8. Do z and m have the same value?
False
Let p(k) = -44*k - 199. Let d be p(-5). Is 21 less than d?
False
Suppose -67*p + 73*p - 222 = 0. Which is smaller: p or 39?
p
Suppose 3*j = -5*x - 19 - 12, -x = -3*j - 1. Let d be (-3)/j*(-16)/72. Let q = -2 + -1. Which is smaller: d or q?
q
Let o be (55542/(-351))/((-92)/6). Let n = o + 4/299. Let s = -10 + n. Do s and 0 have the same value?
False
Let q = 3.4 - 3.3. Let p = 0 + q. Let b = 16 - 22. Is b not equal to p?
True
Let s be (94 + -30)/(10/7). Which is smaller: 45 or s?
s
Let b = -4221909 + 29637801229/7020. Let u = b + 3/260. Let m = -73/54 + u. Do m and 0 have different values?
True
Let i(r) = r**2 + 2*r - 44. Let b be i(-7). Let l = -21 - -15. Is b less than l?
True
Let c be (-304)/(-12)*(-1809)/24. Let l = 1864 + c. Is -46 <= l?
True
Let t(k) = k**3 - 5*k**2 - 13*k - 3. Let z be t(7). Suppose -z*y + 16 = 2*g, 3*g + 4*y = -2*g + 16. Let m = 0 - g. Which is bigger: m or -3/5?
m
Let k(a) = -70*a - 55. Let b be k(-4). Is b < 225?
False
Let c = -5 - -129. Let p = 105 - c. Is p at most as big as -19?
True
Let u be (116/(-40) - -2)*162. Let q = -148 - u. Is q bigger than -2?
False
Let s(a) = -a**3 - 6*a**2 + 9*a + 8. Let q be s(-7). Let o be (2 + 28/(-12))*q/(-4). Let n be (-3)/12 - 6/8. Do n and o have different values?
True
Let c(r) be the first derivative of 3*r**2 + 3*r + 6. Let p be c(-1). Suppose 9 = -f + 3. Is p less than f?
False
Suppose -5*a + 5*l - 12 = -32, a + 4 = -l. Is -9/10 >= a?
False
Let p(h) = -h + 1. Let u(o) = 4*o. Let j(n) = 5*p(n) + u(n). Let w be j(-15). Is w at least 22?
False
Suppose -2*v = -m + 1 + 53, -4*v - 5*m - 122 = 0. Let o be 11 - 3530/90 - (-4)/18. Is v greater than o?
False
Let b(u) be the first derivative of -u**4/4 - u**3 + 3*u**2/2 - 8*u + 12. Let c be b(-4). Is c greater than -8?
True
Let x be 10/20*(-44)/(-2). Let v = x + -17. Which is greater: v or -4?
-4
Let x(q) = 2*q**3 - 3*q**2 - 2*q - 6. Let y(r) = -r**3 + r - 1. Let i(v) = x(v) + 3*y(v). Suppose 0 = -3*b + 2*b - 4. Let g be i(b). Which is smaller: 1 or g?
1
Let d(b) = -2*b**2 - 11*b + 6. Let s be d(-7). Let m be 13/(-3) + (-1)/(-3). Let r be m/(-3)*s/(-130). Is 1 at least r?
True
Suppose 4*p + 3 = 5*v, 2*p + 11 = -2*v + 5. Which is smaller: v or -2/125?
v
Let q = 453 + -453.21. Is -5/7 greater than or equal to q?
False
Suppose a + 18 = 23. Suppose a*g + 48 = g - 4*i, 78 = -4*g + 2*i. Is g not equal to -18?
True
Let w(h) = -11*h - 28. Let n be w(-3). Suppose i - s = -4*i + 2, -1 = n*i - 2*s. Which is greater: i or -2/501?
i
Suppose 7*g - 23 = 4*g + 4*f, 2*g = f + 12. Let z = -4 + g. Let r = 56 + -897/16. Which is bigger: z or r?
z
Let f be -1 + 6 + 1 - 4. Suppose 0 = 5*l - 11 - 9, -f*m - l = 0. Let a be 1 - (m - 32/(-12)). Which is smaller: a or 2?
a
Let m = -4 - -6. Suppose -m*f + 2*q - q = -11, -40 = -5*f + 5*q. Suppose -w = f*w. Which is bigger: -2/91 or w?
w
Let v be (3/2*(-4)/(-11))/3. Is 61 >= v?
True
Let b = 128 - 1919/15. Let y be (-1 - -5)/(-8) - (-3)/(-6). Is b at most y?
False
Let k = 79 - 78. Let i be (-48)/32*(-3 + k). Suppose 7 + 9 = 4*f. Which is greater: i or f?
f
Let o = -806 + 806.09. Let u(p) = p**2 + 6*p + 6. Let w be u(-4). Let z be (-4)/(-9) - w/(-3). Is o bigger than z?
True
Let f = -314 - -313. Is f greater than or equal to 14?
False
Let i be (-14)/(-8) - (4 - 2). Let m be (-24)/(-16)*2/6. Let s = m + i. Which is smaller: s or 1?
s
Let m = -198 - -173. Which is smaller: m or -8?
m
Let g = -32 + 154/5. Let y = 28.8 - 29. Is y > g?
True
Let n = 2.5 - 3. Suppose 4*v - 49 + 1 = 4*r, -16 = -4*v. Let z be ((-1)/2)/(r + 10). Which is smaller: z or n?
n
Suppose -49 - 23 = -4*c. Let v be c/6*8/6. Is -2/21 less than v?
True
Let q(d) = -6*d + 293. Let b be q(27). Is 127 at most b?
True
Let x = 399/4 + -100. Let q be -2 + (-2 - -4)/(-1). Which is bigger: x or q?