ler: -1 or v?
-1
Let s(c) = -79*c - 9. Let i be s(4). Let j be (-1 - -3)*25/i. Which is bigger: j or -3?
j
Let p = -720/7 - -103. Let v be 2/10*(2 + 3). Which is bigger: v or p?
v
Let f be (-2)/(-5) - 141/15. Suppose 0 = 2*x - 5*j + 1, 5*x - 50 = j + j. Suppose -a + 5*o + 12 = 0, 0*o + x = -2*a - 2*o. Do a and f have different values?
True
Let y(h) = -3*h**3 - 4*h**2 - 4*h - 3. Let x be y(-4). Are 141 and x equal?
True
Let l be 340/(-40)*12/7. Let b = 88416 + -3095098/35. Let f = l - b. Does 2 = f?
False
Suppose -5*j - 4 = -3*j. Suppose -1450 + 1482 = 8*d. Which is greater: d or j?
d
Let p = -173.2 - 3.8. Let w = -147 - p. Which is bigger: 1/4 or w?
w
Suppose -1 = -0*l + l, 5*b - 4*l + 136 = 0. Let w = b - -33. Suppose w*c - 8*c = -3. Is 2 at most c?
False
Suppose -6*i - d + 27 = -4*i, 4*d = -4*i + 52. Let m be (36/42)/(4/i). Is -14 >= m?
False
Let d be (0 - 1/7) + (-187)/(-476). Which is bigger: -504 or d?
d
Let h be 19/((-2622)/204) + 2. Which is greater: 0 or h?
h
Let d(q) = q**3 + 30*q**2 + 55*q - 3. Let o be d(-28). Are o and 15 non-equal?
True
Let h be (10/(-15))/((-6)/135). Suppose -11*y = -h*y. Is 0 > y?
False
Let l be ((-4)/(-12))/((-3)/36). Suppose 2*i + 13 = -2*i - 5*p, -5*i - 5 = -5*p. Is i <= l?
False
Let w(u) = 3*u**2. Let z be w(1). Let x be 1 + (z - (-222)/(-57)). Is 0.1 greater than x?
False
Let i = 291 - 139. Which is bigger: i or 0?
i
Let x = -140/9 + 143/9. Is 3.4 at most x?
False
Let q = -126 - -126.09. Does q = 0.09?
True
Suppose 4*o - 34 = 2*y, 4*y = 2*o + o - 43. Let d(f) = -f - 5. Let m be d(y). Let i be (2/6)/(2/12). Is i smaller than m?
False
Suppose -3*q = w - 1, -3 + 21 = 4*q - 2*w. Suppose -3*c - q = -5*g + 1, -4*c - 2*g = 4. Which is smaller: c or -4/9?
c
Let o = 227/72 - 271/72. Suppose 3*q + 4 = 5*q + 2*a, q = 3*a - 14. Which is smaller: q or o?
q
Let q(p) = p**3 - 9*p**2 + 9*p - 4. Let v be q(8). Suppose v*s = 10*s + 114. Which is bigger: s or 0.2?
0.2
Let g be (4/(-260))/(4/(-15)). Which is greater: 2 or g?
2
Let x(q) = 3*q**3 + q**2 + q + 1. Let o be x(-1). Let k(f) be the first derivative of f**3/3 + 6*f**2 + 10*f - 7. Let v be k(-11). Is v at least as big as o?
True
Let q = -3 + 5. Suppose 4*d = 2*z + 2, -5 = 2*d + q*z + 3. Let j = 10.03 + -10. Which is smaller: d or j?
d
Let i = 252803/6990 + 1/3495. Which is smaller: 36 or i?
36
Suppose -3*f - 2*w + 131 = 0, 0*f - f + 35 = 5*w. Let h be (-10)/f*9/(-12). Are 1 and h nonequal?
True
Let f be (-1)/(-2)*(-13 - -77). Let i be ((-15)/10)/(6/f). Is i >= -20/3?
False
Suppose 0 = 9*a + 110 + 70. Is a greater than -20?
False
Let g = 417783 + -7104604/17. Suppose 287 = -4*a - 253. Let i = a - g. Which is smaller: 0.2 or i?
i
Suppose -j - 6*j - 133 = 0. Do 2/3 and j have the same value?
False
Let p = 1945/2 + -973. Is 7/96 not equal to p?
True
Let q(j) = -13*j**3 - 2*j**2 + 1. Let i be q(1). Let m be (-1 + 2/(-4))/((-17)/(-170)). Let o = i - m. Are 0 and o non-equal?
True
Suppose m - 49 = 4*h, 2*h + 2*m = 4*m - 26. Let g = -24 + 34. Let u = h + g. Which is bigger: -3 or u?
u
Let i = -686 + 642. Is i equal to -0.04?
False
Let b = -1/3318 + 126095/36498. Which is greater: 2 or b?
b
Suppose a + 300 = -4*b - 2*a, -b = -4*a + 94. Let p = b - -86. Which is smaller: p or -2/7?
-2/7
Suppose -5*g = -2*g. Suppose g = -4*n - n. Let j(p) = -5*p**2 - 10*p + 15. Let k be j(-3). Are k and n unequal?
False
Let h = 15 - 21. Let b = -3 - h. Suppose 2 = b*g - 4*k - 4, 0 = 2*k. Is g smaller than 0?
False
Suppose 59 - 91 = 16*a. Which is greater: a or -15/14?
-15/14
Let y be (16 + -25)/(2/(-18)). Which is smaller: 82 or y?
y
Let y(m) = m**2 - m + 1. Let h be y(-2). Suppose -13*o - 15 = -16*o. Which is smaller: o or h?
o
Let d = -36 + 77. Let p = -42 + d. Which is smaller: -24/13 or p?
-24/13
Let y(d) = -d**2 - 3*d + 4. Let r = -17 + 19. Suppose 0 = -2*u - 5*o + r, -u + o + 2 = -2*u. Let g be y(u). Does 2/31 = g?
False
Let p = 60 + 197. Is 0 > p?
False
Suppose -3*d + 66 - 210 = 0. Is d < -55?
False
Suppose 6*b - 7*b + 3*f - 5 = 0, -2*b - 5*f + 23 = 0. Let r(h) = 2*h + 7*h - 2 - 4*h + h**2. Let c be r(-6). Are b and c nonequal?
False
Let t = 0.63 - 148.63. Let v = 148.1 + t. Is -46 at most as big as v?
True
Let o = 14 - 26. Let m = 7 + o. Let d = 0.063 + -1.063. Which is greater: m or d?
d
Let y be (-16)/(-12)*10/(-8). Let r = 6.9 + -8. Let t = -1 - r. Is y <= t?
True
Suppose 5*h + 51 = -29. Let y = h - -16. Let b(m) = -m**2 + 5*m + 3. Let t be b(6). Is y less than or equal to t?
False
Let p = 97 + -96.6. Let a = 8 - 8.3. Let l = -0.4 - a. Is l less than p?
True
Let y = 155 - 69. Let q = 262/3 - y. Let i(u) = -u - 5. Let k be i(-5). Is q less than k?
False
Let y = -1.6 + 58.6. Let c = 68 - y. Is c < -2?
False
Let h(r) = 8*r**2 - 7*r + 5. Let k be h(3). Let d = k + -66. Which is greater: -14 or d?
d
Let s be 11014/24 + (-10)/40. Which is smaller: 459 or s?
s
Let o(w) = -w**3 + 5*w**2 + 6*w + 1. Let b be o(6). Let x be -3 - (2 - b)*-1. Let l(t) = 3*t**2 + t - 2. Let y be l(x). Is y < 9?
True
Let j(i) = i**3 + 4*i**2 - 2. Let k be j(-4). Suppose -312 - 276 = 7*s. Let b be k/4 + s/(-8). Are b and 10 equal?
True
Let g be (1950/125)/((-21)/(-2030)). Is g less than 1509?
True
Let a be (-3 + 1)*2/20. Suppose 10 = -6*r - 2. Let t be (4/(-4))/(-1)*r. Which is bigger: t or a?
a
Let x be (-2 + 1 - -373)*(-18)/24. Let c = x + 1657/6. Is c smaller than -4?
False
Suppose -17*v + 57 = 1128. Is v not equal to -58?
True
Let u be 254*2/172 + -3. Which is smaller: 1 or u?
u
Suppose 25*j - 220 = -245. Is j equal to 1/594?
False
Suppose 76 = -3*o + u, -u - 2*u + 132 = -5*o. Suppose 45 = -j + 5*w, 0 = 2*j - 3*j + 4*w - 41. Do j and o have different values?
True
Let r(j) = 2*j - 24. Suppose -3*x + 26 = -x. Let b be r(x). Which is smaller: 3 or b?
b
Let w = -4 - -6. Suppose 4 - w = -2*m. Which is smaller: m or 1/25?
m
Let o be 40/14*(-28)/(-8). Suppose -3*i + 4*b = -14, -i + 0*i + o = -4*b. Suppose -2*l = i*d + 4, 3*l - d - 2 = l. Which is bigger: -2 or l?
l
Let x = 21/50 + -667/100. Let g = x + 159/28. Which is smaller: g or 0?
g
Suppose 57*s = 50*s + 42. Suppose 3*u = 18 + s. Which is smaller: 4 or u?
4
Let j(n) be the third derivative of n**4/12 + 13*n**3/6 - 11*n**2. Let a be j(-5). Is 5 less than a?
False
Let s = -1/10 + 29/90. Is 0 smaller than s?
True
Let m(f) = -17*f**2 - 33*f + 71. Let i be m(2). Which is smaller: i or -127/2?
-127/2
Let d = -4 + 6. Suppose 0 = -g + d*u - 8, g + 2*u = -2*g - 16. Let f be 3/g*(36 - -2). Which is bigger: f or -18?
-18
Let q = 268003/283 + -947. Which is smaller: q or 1?
q
Let o = -1001 - -1028. Let x = 94 - 63. Let r = x - o. Is 0 > r?
False
Let d be (21/((-126)/40))/((-38)/(-21)). Is d greater than or equal to -3?
False
Suppose 2*y = 4*a - 874, -5*a + 70*y - 66*y + 1085 = 0. Is 221 bigger than a?
False
Let t = 3 - 1. Let x be t/5 - (-92)/20. Let h be 3/10*x/(-6). Do -1 and h have the same value?
False
Let a = 23 - 54. Which is greater: -30 or a?
-30
Let v = -34.9342 + -0.2858. Let h = v + 0.22. Let z = h - -25. Which is smaller: 0 or z?
z
Suppose -3*a + 2*a = -2. Suppose -3*u + a*n = -253, -2*u + 390 = 3*u + 3*n. Let y be 24/u - (-2)/(-9). Is 0 bigger than y?
False
Let u = -16 - -27.4. Let z = u + 1.6. Let y = z - 14. Does -0.02 = y?
False
Suppose -2*g + 3*k + 980 = 89, 5*g = -4*k + 2262. Which is bigger: 451 or g?
451
Let s = -0.0483 - -31.0483. Which is greater: s or 0.19?
s
Suppose 0*j - 2 = -4*q - 2*j, 0 = 5*q - 2*j + 20. Let a = 4 - q. Let p = a + -4. Which is bigger: 1 or p?
p
Let p be -1 - 1 - (1 + -6). Suppose 4*x - 7*x = p. Let q be x/(-2) - (-32)/(-68). Is q > 0?
True
Let l = 916 + -916.1. Which is bigger: 59/2 or l?
59/2
Let u = 6 + -11. Suppose -4*a = -2*a + 8. Let c be a - (3/(-6) + 0). Is c less than u?
False
Let k = -8 + 5. Let n be (4/(-12))/(k/(-2)). Which is greater: 0 or n?
0
Let k = -9 - -13. Let a = k + -4. Let w = -2/1493 - -3072/64199. Which is bigger: a or w?
w
Let v = -4270 + 4280. Let p = -3.3 - -3. Is v smaller than p?
False
Suppose 6*u + 240 = 9*u. Let z be 62/10 - 16/u. Suppose -7*c + z*c = 5. Is c bigger than -5?
False
Let u = 19 - 24. Let b = -7 - u. Let p = 0 - 0.3. Is b at least p?
False
Let k be (3 - 2 - -3) + -4. Suppose k = 5*c + 114 - 29. Which is bigger: c or -16?
-16
Suppose 0 = -2*z - 3*z - 45. Let o = z - -8. Are o and 4/9 none