284 - -8283. Is 9146 < p?
False
Suppose 20 + 44 = 16*m. Suppose -45 = -3*o - m*c, 54 = 5*o + 3*c - 21. Is 1 at least o?
False
Let o(g) = 5*g + 4. Let h be o(5). Let k be (4 + 0)*1*h. Let r = -340/3 + k. Which is smaller: 4 or r?
r
Let v(m) = 4*m**2 + 5*m + 2. Let q be v(-4). Let p = 24511 - 24463. Which is smaller: q or p?
q
Let y be 178002/(-55) + 5/(250/(-30)). Which is smaller: -6473/2 or y?
y
Let x = 0.7 + 37.3. Let i = 89951 - 89951.1. Which is smaller: i or x?
i
Let d(q) = -q**3 - 4*q**2 + 17*q + 6. Let z be d(-9). Let h = z - 524. Which is bigger: h or -265?
-265
Let j(q) = 4*q**2 - 21*q - 3. Let p be j(5). Let w be 3/6*(-16)/4. Let i be (-3)/((-9)/(-12)) + w. Are i and p nonequal?
True
Let a = -104 + 136. Let n be (1052/5 - 0) + a/(-80). Let r be (-6)/(-10) - 91/n. Is r >= 2?
False
Let s(y) = 2*y**2 - y - 2. Let b(t) = t**3 + 15*t**2 - t - 12. Let f be b(-15). Suppose -3*g - g + 12 = -j, -4*g - f*j - 4 = 0. Let m be s(g). Is m < 4?
False
Let a(s) = -4*s**2 - 2*s + 5. Let v = -461 - -454. Let i be a(v). Are -177 and i equal?
True
Let a = 20.801 + -20.973. Is 15 not equal to a?
True
Let v = -0.949 + -638.051. Let j = -640 - v. Which is bigger: 4/17 or j?
4/17
Let r = 1011.1 + -1037.1. Do r and 713 have different values?
True
Suppose -19 = -17*w - 53. Let j be (2/(-144))/(w - -3). Which is smaller: -1 or j?
-1
Let p = 138/11 - 2909/231. Suppose -38*i + 77 = -37. Is p smaller than i?
True
Let j = -63 - -68. Suppose f + 0*z + 4*z = 4, -j*f + 5*z = 105. Let g be (-16)/24*3 - 38/f. Which is greater: g or -0.1?
g
Let r(j) = 3*j**2 - 56*j + 51. Let p be r(18). Suppose 0 = 18*w - p*w + 2*c + 132, 0 = -4*c. Is w at most as big as -0.05?
True
Let o(r) = 133*r - 5. Let n be o(-3). Let u be ((-1821)/(-3) - 1)*((-232)/24 - -9). Is n at least as big as u?
True
Let g be 30/(-21)*-14 + 15. Which is smaller: g or -8?
-8
Let d(h) = -4*h**2 - 10*h - 7. Let k(x) = 11*x**2 + 30*x + 22. Let z(i) = -8*d(i) - 3*k(i). Let q be z(-9). Which is greater: q or 11/25?
11/25
Suppose 22*z - 27*z - 4*f + 129 = 0, -z - f = -25. Is 687/23 not equal to z?
True
Let g be 340/55 - 6/33. Suppose 0 = g*c + c - 287. Let d = c + -30. Is d <= 10?
False
Let t be ((-53363)/238)/43 + (3 - -2). Which is greater: 326 or t?
326
Let n = 2.9 + -3. Let f = -280128 + 280118. Is f less than n?
True
Let t be (0 - 9*-1)/(-1). Let o be (-1)/2 + 444/24. Suppose 25*n - o*n = -63. Is n smaller than t?
False
Let f = 8323.94 + -8329. Which is greater: f or -2?
-2
Suppose 0 = 5*w - 4*o - 1090, 27*o - 1095 = -5*w + 32*o. Suppose 311 = -8*f + 2031. Are w and f non-equal?
True
Let t = 4854131627/599093 + -866517/107. Let p = -2/509 - t. Which is smaller: -4 or p?
p
Let y = -3.207 - -65.227. Let p = 58.9 + 3.1. Let v = y - p. Is 0 >= v?
False
Let p be (-1)/(-36) + (-2)/8. Let b = 1846.15 - 1846.1. Are p and b nonequal?
True
Suppose -3*j - 70*v = -74*v + 427, 4*j = v - 578. Let x be (-219)/2*(-12)/(-9). Which is bigger: x or j?
j
Let j(o) = 2*o + 151. Let a(n) = n + 1. Let d(h) = -6*a(h) + j(h). Let g be d(35). Is g not equal to 21?
True
Let q be 1291759/485 - (-2)/(-5). Let h = 8531 - 5868. Let m = h - q. Does m = 1?
False
Let a be (7 + -4)/((60/(-1480))/(2/2)). Which is smaller: a or -89?
-89
Let f(s) = -45*s**3 + 30*s**2 + 41*s + 13. Let w be f(-4). Is 3209 at most as big as w?
True
Let r = 177 - 145.4. Let s = 30.6 - r. Is -0.4 smaller than s?
False
Let l = 5138 + -7805. Which is bigger: -1/3 or l?
-1/3
Let b be ((-8)/((-528)/(-9)))/(12/7632). Which is smaller: b or -87?
-87
Let x(f) be the first derivative of -f**3 - 19*f**2/2 - 12*f - 57. Let m be x(-6). Which is greater: -51/8 or m?
m
Let c be 1836/(-1377) + 8054/6. Is 1344 at least c?
True
Let c(d) = 44*d**2 - 634*d - 62. Let q be c(19). Is q at most 3776?
True
Let h = -6417/2191150 - 1/6742. Let x = h + -591/19175. Which is smaller: -1 or x?
-1
Let o = 441 - 397.3. Let x = o + -52. Let l = x - -9.3. Which is smaller: -62 or l?
-62
Suppose 3*p + 5*z - 158 = -p, 5*p + 2*z - 189 = 0. Suppose 21*o - p = 47. Which is greater: o or 2?
o
Let t(q) = 19*q**2 - 26*q + 1. Let l be t(-11). Let b = -100868/39 + l. Which is smaller: b or 0?
b
Let t = -13 - -13.7. Let k = -0.67 + t. Let s = -0.58 + -1.42. Is s greater than k?
False
Let k = -149 - -149.182. Let w = -2.818 - k. Is w less than -36?
False
Let l = -194.12 - -191.12. Which is smaller: l or -1.699?
l
Suppose -20*y + 10*y = -260. Let t be (-32)/6*27/(-6). Suppose 2*m = t + 28. Is y not equal to m?
False
Let s = -158.06 - -158. Let t = 801/47 + -17. Which is smaller: t or s?
s
Let h(l) = 2*l**2 - l - 2. Let j be h(-2). Let w(y) = -10*y + 8 - 2*y**2 + 2 + j*y. Let b be w(-4). Is -14 at least b?
True
Let f(l) = -83*l - 166. Let j be f(-2). Is 9/268 at most j?
False
Let i = -0.101 + 0.18. Let r = 0.049 - i. Let u = r + -6.97. Are -2/17 and u unequal?
True
Let d = 16889 + -84722/5. Let j = -55 - d. Which is bigger: 2.7 or j?
2.7
Let m be (-36117)/33 - -1 - (6 + 840/(-154)). Is m < -1093?
True
Let g = 12035539/1751412 - 5/44908. Which is smaller: g or 7?
g
Let t = 70 + -65. Let y = t - -9. Let a(l) = -l**2 + 11*l + 31. Let w be a(y). Is w less than -11?
False
Let i(d) = -86*d + 3393. Let x be i(74). Is x equal to -2972?
False
Let p be 14288/(-3234) - ((-14 - -5) + 4). Let l = 8/147 + p. Which is smaller: l or 1?
l
Suppose 1229 = 5*v - 4*v - 4*s, 1213 = v + 4*s. Let g = -3710/3 + v. Is 1/4 greater than g?
True
Let i be 7/5*(10703/35)/(-11). Let s = i + 39. Is s != 7?
True
Let x = -0.0247 + 0.0094. Let w = 0.0153 + x. Is 0.97 > w?
True
Let r = -28337 + 16349. Which is smaller: r or 1?
r
Suppose -9*l = 24*l. Is 19/82 less than or equal to l?
False
Suppose -2*g + h + 113 = 0, 0*g - 5*h = -g + 43. Let r(c) = c**3 - 10*c - 1. Let z be r(-5). Let w = z + g. Do -19 and w have the same value?
False
Let d be (10/8)/(10/48). Suppose d*m + 224 = -2*m. Do m and -28 have different values?
False
Suppose 9*j + 2*l = 5*j + 25154, -2*j = 5*l - 12549. Is 6292 at least as big as j?
True
Let u = 427679/2056 + -1663/8. Which is smaller: u or -1?
-1
Suppose -p = -3*x + 7448, 5*x + 2*p - 3824 - 8604 = 0. Let t = x - 72046/29. Is -3/2 != t?
True
Let s = 2966575/3356 + 242/839. Are 885 and s unequal?
True
Let t = -3 - -2. Let r = -472533 + 17483709/37. Is r at least as big as t?
True
Let l(c) = 2*c**2 + 61*c + 425. Let g be l(-21). Which is smaller: 80/3 or g?
g
Let i be 1/(-2) - 31/(-22). Suppose 83*b - 87*b - 11*k + 107 = 0, -9*k = -3*b - 75. Which is smaller: b or i?
i
Let n be (-39)/60 - 2/(-8). Let g be (1/(-3))/((-6)/(-108)). Let h be ((-12 - g) + 2 + 1)/(-3). Which is greater: n or h?
h
Let n be (2 - 1) + 7 + (5 - 10). Suppose -37*j + n = -36*j. Suppose -10*z + j = 3. Which is bigger: -13 or z?
z
Let g be 1 + -2 + (-9 - -10). Suppose g = -2*c - 51 + 23. Let m be 3/1 - (c - -16). Is m smaller than -5/13?
False
Let m = 195/23 - 214718/25323. Let h = m - 3268/38535. Let v = 0 - 1. Which is smaller: h or v?
v
Suppose 2*w = 2*c + 2, -w - 2*w - 2*c = 12. Let t = -534457/5 + 106890. Is w <= t?
True
Suppose 0 = n - 128 + 126. Let o be 5*(n + (-28)/15). Which is smaller: -0.2 or o?
-0.2
Let l = -185.054 - -0.054. Let n = 185.143 + l. Let p = 0.043 - n. Does p = 13/4?
False
Suppose 4*f + 2*v + 4 = 0, 5*v + 21 = 2*f - f. Let p be f*(-16)/(-6)*(-3)/(-2). Is p greater than or equal to 3?
True
Let y be (-2)/15 - ((-10635543545)/5100)/(-11). Let w = 568753/3 + y. Let q = w + 1/68. Which is smaller: 1 or q?
1
Let m = -736 + 737.5. Let u = 125 - 113. Which is smaller: u or m?
m
Let o be ((-1302)/(-112))/(3/12). Let p be (-2)/13 - 1252/(-26). Is p at most as big as o?
False
Let g = -2/519 - 1378/1557. Let k be (19/57)/(1/(-75)). Let j be 1*-1*(k - -25). Which is smaller: g or j?
g
Let q be 402/(-30) - (-26 - -12). Which is bigger: -139 or q?
q
Let p be (-2)/(-6)*(-9)/(-3). Let h = p + 3. Suppose z - 18 = -3*c, 184 = 5*z + h*c + 39. Which is greater: z or -2/7?
z
Let d = 2 - 1. Let t be 45712/15248 + (-11)/((-110)/(-30)). Do d and t have different values?
True
Let v = -1164/67 - -558503/335. Which is smaller: v or 1650?
v
Let p = -43.23 + 44. Let z = 91.23 + p. Let x = -61 + z. Are x and 1/3 non-equal?
True
Let r(g) = g**3 - 5*g**2 - 42*g + 161. Let b be r(5). Which is smaller: -56 or b?
-56
Suppose -3*x + 10 = -4*y, -2*x + 12 = -4*y + 2*x.