33 + 427. Let i = v - -51. Which is greater: -49 or i?
i
Let j = 362 - 651. Let f = j + 288. Which is smaller: f or 34?
f
Let i(y) = -38*y + 749. Let k be i(21). Let b be (-1239)/14*6/9. Which is smaller: b or k?
b
Suppose -4083 - 4373 = 28*m. Let k = -355 - m. Which is smaller: -54 or k?
-54
Let n be (-245)/14 + -1 + 6. Suppose 4*l + 26 = -30. Is n less than or equal to l?
False
Suppose 0*c = 4*c - 4. Let n be 8060/(-240) + 24 + 8 + 3. Which is greater: n or c?
n
Suppose u + 3*u - 5*a - 774 = 0, 5*u - a = 978. Which is smaller: u or -2/9?
-2/9
Let i be (-45)/12 + 3 - (-2)/(-8). Let y be i/(-4)*(46 + 2)/4. Is 2 <= y?
True
Let a = -1057.47 + -1.53. Is -0.1 != a?
True
Suppose 238*i + 69640 = 278*i. Which is smaller: 1742 or i?
i
Suppose 4*j - 13 = h, j + 10*h - 5*h = 19. Suppose j*n - 5 = 2*t + 7, 0 = -3*t - 3*n. Which is smaller: -9/10 or t?
t
Let o(z) = -z**2 + 977*z + 6906. Let l be o(-7). Are l and 137/8 nonequal?
True
Suppose 5*n + 3*r = -3072, 108*r = n + 104*r + 642. Is n > -618?
False
Let r be 1/(20/(-8)) - 16/10. Let f be 12/(-30) - (2 + r/5). Let g be f/8 + (-75)/20. Which is greater: -5 or g?
g
Let r be 56/112*(-8)/(-1042). Which is greater: 3 or r?
3
Let c = 2923 + -2924. Is -3/5566 equal to c?
False
Let v(c) be the second derivative of c**5/20 + 11*c**4/12 + 19*c**3/6 - 5*c**2 - c. Suppose 97*l + 90 = 87*l. Let p be v(l). Is -19 less than p?
False
Let a = 26083 + -26192. Suppose -g = -3*k - 2*k - 553, -k + 4*g = 122. Is k bigger than a?
False
Let f(o) = -44*o + 1459. Let v be f(33). Let u = 12/59 + -1063/295. Which is bigger: v or u?
v
Let c be (3 + 15/(-6))/((-1)/(-4)). Suppose x - c = f, 9*x - f = 5*x + 2. Which is smaller: -9 or x?
-9
Suppose -128*a = -102*a - 520. Let l be (-2404)/(-10) + (-9)/(450/a). Which is greater: l or 481/2?
481/2
Let z(b) = 228*b + 2014. Let o be z(-8). Which is smaller: 192 or o?
o
Let s be (19*33312/2736)/((8/(-6))/2). Which is smaller: s or -4502/13?
s
Let p = 1749 - 1221. Let m = 505 - p. Is -28 greater than m?
False
Suppose -4*r + 1257 = 2*q - 129, 5*q = -4*r + 1383. Suppose 342*j - r*j = -5. Is j smaller than -1?
False
Let o(l) = l + 4. Let n be (1 - 0)*(-9)/3. Let i be o(n). Let v = -46/7 - -584/91. Is v less than or equal to i?
True
Let x = 16 + -11. Suppose 0 = x*y - 3*y. Let o be (-5*(-28)/175)/((-2)/10). Is y equal to o?
False
Suppose 4*d - 13 = 3, d = 3*l - 338. Let x = l - 123. Let n be x/(-62)*(5 - 1)/12. Is n < 1?
True
Suppose s + 168 = 5*w, 3*w - 42 = 2*s + 63. Let d = 62660 - 62626. Is d greater than w?
True
Let m = -0.3 + 0.6. Let d = 14260.92 + -14261. Which is smaller: d or m?
d
Suppose -5*q + 9 = -1, 4*q = -4*w + 336. Let j = w - 88. Let a be (-11 - 3/(-1)) + 0. Is j less than a?
False
Let d(r) = 2*r**2 - 3*r - 19. Let x be d(-3). Let j be 0 + (-1)/x*6. Do -2 and j have different values?
True
Let h(i) = 3*i + 6. Let q be h(4). Suppose 0 = -4*b + 5*v + 281, 0 = -14*b + q*b - 2*v - 266. Are b and 259/4 unequal?
True
Let k(w) = 2*w**3 + 27*w**2 + 19*w + 96. Let x be k(-13). Let o(h) = 4*h + 5. Let r be o(5). Does r = x?
False
Let a = -280 + 280.05. Which is bigger: a or -295?
a
Let c = 8/5 + -3. Suppose -22*b + 26*b + 2360 = 4*m, -3*b = 6. Let a = m - 590. Which is greater: a or c?
c
Let x(r) = -5*r**3 - r**2 + r + 1. Let n(f) = -9*f**3 - 3*f**2 + 2*f + 2. Let c(m) = -2*n(m) + 5*x(m). Let h be c(-1). Let z = h + -3. Which is bigger: 2 or z?
z
Let a be -3 + 145 + (-3 - -3). Let c be (-5 + 4)*a/3. Let b = -47 - c. Is 13 greater than or equal to b?
True
Let t(w) = -w**2 - 4*w - 1. Let x be t(-2). Let z be x/1*(-12 + 13). Suppose -4*l + 58 = 5*m, -z*l + 55 = -4*m - 4. Which is smaller: 16 or l?
16
Let z(h) = -8*h**2 + 7*h - 6. Let g be z(-6). Let j = 562 + g. Which is greater: j or 227?
227
Suppose 133*n - 22996 = -78058. Which is bigger: -412 or n?
-412
Let i = 95 + -23. Let x = i - 69. Suppose -x - 13 = -2*o. Are o and 5 equal?
False
Suppose -13*c - 18*c + 504 = -10*c. Do c and 26 have the same value?
False
Let u = 20/831 + -644065/1662. Is u != -387?
True
Let l = 29246 + -29998. Which is greater: l or -754?
l
Let f be -8 + 0 - 1190/(-161). Let c(s) = s**3 + 7*s**2 + 2*s - 25. Let q be c(-6). Is f at most as big as q?
False
Let w = 2249 + -2248. Which is bigger: -2/16851 or w?
w
Let s be ((-16)/(-86))/(-4 - -2). Let i(t) = t**3 - t**2 - 51*t - 116. Let g be i(-3). Which is smaller: g or s?
s
Let s = -235 + 256. Suppose -s*p = -25*p + 4. Is 3/34 less than p?
True
Let q(a) = 5 + 3*a**2 + 6*a - 1 - 2. Let n be (-2)/11 + 40*12/(-264). Let h be q(n). Is 2 > h?
False
Let t = 216.713 - 18.713. Which is greater: -14 or t?
t
Let g = -9.63 + 2.525. Let f = 0.105 + g. Is f at least 0.6?
False
Suppose 0 = -115*v + 112*v + 1893. Suppose 5 = -626*h + v*h. Which is bigger: h or 5?
5
Let y = 641.3 + -682. Let x = 40.2 + y. Is 14 not equal to x?
True
Let z(s) = 5*s**3 - 8*s**2 + 23*s + 15. Let q(x) = x**3 + 1. Let u(d) = -6*q(d) + z(d). Let k be u(-10). Which is smaller: -15 or k?
k
Let n = -622 - -620.252. Is n smaller than 0.1?
True
Suppose z = -4*z - 5. Let u = 528058/207 + -2551. Are u and z equal?
False
Let j = -61/20 - -14/5. Let x = -821/6 + 137. Which is bigger: j or x?
x
Suppose 16*o = 14*o - 82. Let x = o + 45. Let w = -85 - -77. Which is bigger: x or w?
x
Let q = -2692 - 1054. Does -1/4 = q?
False
Let n = -21081.6 - -21082. Is -668/5 equal to n?
False
Suppose -5*i - 15 = 5*t, -2 = 2*i - 4*t + 4. Let j(h) = -9*h + 19. Let v be j(2). Is v less than or equal to i?
False
Let r = 7 + -3. Suppose 0 = r*h + 3*m - 155, -h - 5*m = -2*h + 10. Suppose 2764*c - 2827*c = -2079. Is h greater than or equal to c?
True
Let b = -1651128/19 + 86879. Which is smaller: b or -21?
b
Let w(o) = -5*o**3 - o**2 - o + 1. Let s be w(1). Let p(j) = -j**3 - 6*j**2 + 4. Let q be p(s). Let g = -8607 + 8607. Which is smaller: g or q?
g
Let c = -17487 + 17489. Let w = 2210/9 + -245. Which is smaller: w or c?
w
Let h = -295 - -296. Let p be ((2 - h) + -1)/6. Is p at most as big as -2?
False
Let z = 139 + -138. Let m be 4/(-3016)*12/18. Is m <= z?
True
Let y(w) = 2*w**2 - w**3 - 134 + 148 - 3*w**2 + 13*w - 6*w**2. Let z be y(-7). Let k = 81 + z. Is 5 at most as big as k?
False
Let d = 199.008 - 2.908. Let r = d + -196. Suppose 5*q = -h - 2*h - 204, q = 2*h - 33. Which is smaller: r or q?
q
Let p(g) = -81*g + 6918. Let d be p(82). Is d != -3?
True
Let j be (-185)/(((-450)/36)/25). Are -2 and j equal?
False
Let v = -292.937 - 0.063. Let o = v + 285. Is o smaller than 0?
True
Suppose -9*v + 308 = -952. Let j be ((-6)/(-20))/(v/56). Is j at most as big as -4/7?
False
Let z be (10 + 4 + -15)*(-14049)/3. Is 4685 not equal to z?
True
Suppose -5*q + 62 = 3*p, -4*q = 5*p - 26 - 21. Let v = -13 + q. Suppose 0 = 3*z - 2*d - v*d - 6, 12 = -4*d. Does -3/32 = z?
False
Let q be 1 - 2/1 - 0. Let d(r) = -r**3 - 67*r**2 + 165*r + 2043. Let f be d(-69). Let t be f/35 + q*5. Is -1 < t?
True
Suppose 17*x - 26*x = 306. Let u be 20/(-870)*(x/8 + 2). Which is smaller: 1 or u?
u
Let m = -8551 - -25835/3. Which is bigger: 62 or m?
62
Let p = 200 + -133. Suppose 268 = 4*a + 2*o, -19*o = 3*a - 16*o - 198. Do a and p have different values?
True
Let z = 0.1084 - 1.0554. Let q = z - 0.053. Are q and 18 equal?
False
Suppose 5*t - 52 = t. Let v(p) = -9*p + 59. Let o be v(5). Suppose -o*n + 48 = -106. Are n and t non-equal?
True
Let m = 0.9802 + 0.0198. Are m and -54.33 nonequal?
True
Let i be (-1)/2 - (-788)/1608. Suppose -6*b + 11*b = -3*r + 222, -4*b + 74 = r. Suppose -r*k = -73*k. Which is greater: i or k?
k
Let g = 1727/45725 + -2/59. Does -1 = g?
False
Let x = -0.02 - 4.98. Let l = -11104/1188367 - -2/5329. Let r = -215/892 + l. Is x > r?
False
Let h = 596 + -122. Suppose 16*d + h = 14*d. Are d and -238 equal?
False
Suppose -3*k = -4*p + 6557 - 924, 3*p + 2*k - 4229 = 0. Which is smaller: 1405 or p?
1405
Let a(v) = -5*v**2 - 15*v - 9. Let q(m) = 5*m**2 + 15*m + 5. Let h(b) = 3*a(b) + 2*q(b). Let z be h(-7). Are z and -157 nonequal?
False
Let y(p) = 220*p**2 + 18*p + 1. Let u be y(1). Suppose -3*x + 4*x - 4*t - 219 = 0, -x = t - u. Is x < 236?
True
Let f be ((-10)/(-11350))/((-12)/(-153105)). Let c = f - -2/227. Suppose 0 = 5*q + 22 - 82. Which is greater: c or q?
q
Let f(t) = -437*t + 128. Let h be f(1). Which is bigger: h or -306?
-306
Suppose 17*d + 