 or -30?
-30
Suppose 5 = 5*t + 3*q, 0 = -5*t - 5*q - 5 - 0. Suppose v = -t*x + 79, 5*v + 205 = -x + 600. Let d = -126 + v. Are -46 and d equal?
False
Let p = -14 - -24. Let t = p - 8. Let d be (-1 + 10)/((-24)/(-6)). Which is greater: t or d?
d
Suppose -12*h - 110 - 24 = 262. Which is greater: h or -96?
h
Let y = -3429 + 3418. Let k = 2 - 11. Is y less than or equal to k?
True
Suppose -432 = -c - 2*c - 5*r, -304 = -2*c + 2*r. Let s = c + -155. Let t be (s + 4)*(15/(-78))/(-5). Is t at most 1?
True
Let w = -75 + 301/4. Let i = 165.164 - 136.2. Let o = -0.036 - i. Does o = w?
False
Let u(c) = 2*c**3 - 87*c**2 - 46*c + 84. Let i be u(44). Is i > -159/41?
False
Let d be 97/6 + (-12957)/11106. Suppose -27 - 6 = -3*f. Do f and d have the same value?
False
Let d = -14739.8 + 14740. Let f = -2/2887 + 14473/54853. Which is smaller: f or d?
d
Let d = 58 + -4. Let g be 1*((-7)/(-35) - d/(-5)). Suppose g = 3*k - 13. Is k bigger than 33/5?
True
Suppose 0 = -4*r - 4*a + 424, 59*r - 60*r = -2*a - 91. Suppose 2*y = n - 110, -9 - 3 = 3*y. Is n > r?
True
Suppose 30 = -45*v - 60. Suppose d + 3*d + 28 = 0. Let s be (-3)/d + 108/(-105). Is s <= v?
False
Let h(r) = 80*r**3 - 725*r**2 + 40*r + 84. Let t be h(9). Let v(m) = m**3 - 5*m**2 + m - 7. Let d be v(5). Which is smaller: d or t?
d
Let g(n) = -n + 1. Let z(u) = 2*u**3 + 2*u**2 - u. Let p(y) = g(y) - z(y). Let c be p(-1). Let b = -446 - -6694/15. Which is greater: c or b?
c
Suppose 233*o - 53*o + 231120 = 0. Are o and -1285 non-equal?
True
Let z be (1492/12)/((-55)/1650). Which is greater: -3729 or z?
-3729
Let c = -3.787 + 3.8. Let i = -0.015 + c. Let a = i + -0.048. Which is smaller: -0.3 or a?
-0.3
Let u(y) = -y**3 - 16*y**2 - 15*y + 6. Let d be u(-14). Let b = d - -197. Let z(v) = 19*v. Let c be z(1). Are b and c equal?
False
Let r be (690/(-414))/((-50)/12). Which is smaller: -0.00928 or r?
-0.00928
Let d be 2/(-8) - (-16471)/(-3620). Suppose -i = 4*i + 30. Which is smaller: i or d?
i
Let x be (2907/(-68))/(1/4). Let p = -4 + -5. Let d be (p/x)/(1/(-4)). Is d at most -1?
False
Let h = 50.95 - -0.05. Let y = -50 + h. Suppose 5*f - 9 = g - 3*g, -5*f = 5*g - 15. Are g and y unequal?
True
Let p(c) = -74*c - 20. Let t be p(-3). Let j = t - 137. Which is bigger: j or 66?
66
Let z = 341/348 - 26/29. Suppose 6 = m + 5. Which is greater: m or z?
m
Let m = -95 - -277. Let r = m + -187. Is r at least as big as -6?
True
Let o = 24.52 + -24.46. Is o equal to -216?
False
Let l = -50.3 - -53. Let y = -3.3053 + 0.4053. Let u = l + y. Which is smaller: u or 8/9?
u
Let n = 432 - 431.9392. Let r = -0.2092 - n. Which is greater: r or -6?
r
Let j = 0.17042 + -181.14542. Let z = -181 - j. Which is greater: 0.1 or z?
0.1
Let d = 434.1 + -436.1. Are -9.99 and d equal?
False
Let q = -18643 - -19096. Which is bigger: 450 or q?
q
Let d = -1061 + 1061. Let z = -143911/135 - -1066. Is z greater than or equal to d?
False
Suppose 3*l + 16 = 4*n, 2*l = 3*n - 0*l - 11. Let r = 109356 + -10060753/92. Do r and n have the same value?
False
Let w = 0.3061 + -39.3061. Which is smaller: w or -14/3?
w
Let v be -96*(13 - 15) - 10. Which is greater: 171 or v?
v
Suppose 1268 = 4*w - 4*t, 20*w - 19*w = -3*t + 293. Is w >= 312?
False
Let w = -51.7 + 23. Let a = 28.6 + w. Let i = 8 - -9. Is a != i?
True
Suppose -p + 30 = -4*t - 3*p, 6 = -t - 2*p. Let g be -14 + 69 - t/2. Let h be -5 + 6 + g/61 + -2. Which is smaller: -1 or h?
-1
Suppose -5*d - 6*q + 3376 = -10*q, -4*q = 5*d - 3424. Which is smaller: 679 or d?
679
Let z = 0 - -4. Let k = -4 + z. Let b be -11 + (-15 - -25 - -3). Which is greater: k or b?
b
Let g = -961 + 1429. Let u = g + -1390/3. Does u = 1?
False
Let k = 3.43 + -0.03. Let t = -3.3 + k. Is t <= 0.01?
False
Let v = -2149/8 + 269. Let d be 1 - (-1)/((-4)/4). Suppose 2*j = -d*j - 2. Is v <= j?
False
Let y = -187 + 198. Suppose 14 - 3 = y*w. Is w at most 1/11?
False
Suppose 3*o + 389 = -5*r, -3*o - 70 = r - 5*o. Let i = -87 - r. Suppose 5*d = -3*m - 59, 2*m - 21 = d - 2*m. Is d at least as big as i?
False
Let h = 32509/15 - 971/3. Is h at most 1843?
False
Suppose -410 = -3*o - 5*m - 70, 3*o = -4*m + 344. Let i = 77 - o. Let w = i + 54. Is w less than or equal to 15?
True
Let c = -715 - -715. Is c bigger than 17.83?
False
Suppose 35*b + 200 = 5*f + 34*b, 4*f - 160 = -3*b. Is 18 at least f?
False
Let c = -3489 + 3485. Do -19/7 and c have the same value?
False
Suppose -18*l = -15*l - 38 + 8. Which is smaller: l or 756/79?
756/79
Suppose 4 = 4*b, -g = g - 2*b + 4. Let p be -2*1 - 0 - g. Let k be (-16 + 8)*(-2)/64 - (-2)/(-32). Is p at least k?
False
Let r be (-5 + 6)*(-8)/(8/385). Let c = 372 + r. Are 2 and c unequal?
True
Let y = -65.21 - 1.79. Let p = -77 - y. Which is smaller: p or -0.2?
p
Let h be 1507/(-19253) - 78/(-1014). Let c = 2664/220669 - h. Which is bigger: c or -1?
c
Let b(f) = -3*f - 49. Let i be b(-21). Let a be (-112)/392 - 2/(i/369). Which is greater: -0.2 or a?
-0.2
Suppose 5 - 7 = -m. Suppose -m*b - 6 = -5*b, -5*n - 2*b = 96. Let s = -12 + -8. Is n != s?
False
Let u = -6619 - -6618.9. Which is smaller: u or -1/1001?
u
Let l = -7375 + 140157/19. Let z be (-1)/((7 + -8)/(5/(3 + 2))). Are l and z equal?
False
Let p(b) = b**2 - 4. Let z be p(2). Suppose -17*u + z = -51. Let r be ((-56)/(-6))/(2/u). Are r and 13 non-equal?
True
Let z be ((-978)/(-10))/(((-39)/(-5) - 8)*-1). Is 484 smaller than z?
True
Let r(t) = -3*t**3 - 19*t**2 - 65*t - 93. Let m be r(-4). Is m at most 789/14?
True
Let m = 6.7 - -4.3. Let t be (728/119 - 6)*17. Which is smaller: t or m?
t
Let v = 3239.836 - 3240. Which is smaller: 4 or v?
v
Let r = -0.16095 + 0.06095. Let t = -11977/55 - -1097/5. Which is greater: t or r?
t
Suppose 3*l - 4*j = 18580 + 924, 2*l - 13003 = 3*j. Let x = l - 1566498/241. Are x and -1 unequal?
True
Suppose 0 = -7*j + 3*j - 4. Suppose 47*a + 215 = -26*a - 223. Is a at most as big as j?
True
Let f be ((-7)/(-21))/(6/(-4)). Let n = 4825 + -4858. Are n and f nonequal?
True
Let x = 12 - 23. Let m = -13 - x. Let j = 2633 - 2642. Which is bigger: j or m?
m
Let j = 121 + -487/4. Let h = 396 - 166. Let c = h + -229.9. Which is smaller: c or j?
j
Let t = 635967857/1819 - 349625. Which is greater: t or 0?
0
Let x = 66924 + -2141309/32. Which is smaller: 8 or x?
8
Suppose 38*y - 237*y = 1194. Is -51/8 < y?
True
Let o(y) = -y**3 + 77*y**2 - 74*y + 79. Let f be o(76). Which is bigger: 233 or f?
233
Let u = -11299 - -11301. Let x be (-1)/(2/(-8)*1). Let f be x/6 - (-3)/9. Which is smaller: f or u?
f
Let r = 50.194 - 0.194. Let g = 51 - r. Is -0.16 < g?
True
Let r be (-2)/21 - 246894/(-630). Let g = r - 388. Are 4 and g equal?
False
Suppose 21 = -4*l - l + 4*c, 0 = -l - 4*c + 15. Let j = 1526 + -2247. Let x be (-2 - 1445/j)/(1/7). Which is smaller: l or x?
l
Let h(r) = 17*r - 113. Let f(n) = -2*n**3 - 6*n**2 + 4*n - 8. Let g be f(-4). Let c be h(g). Suppose -67 = -5*k + 43. Are c and k non-equal?
True
Let h be 42/(-1484)*(-23)/3. Which is greater: h or 0?
h
Suppose 5*c = -4*a - 124, 2*c - 5*c - 142 = 5*a. Suppose -b + 78 = -2*w, -3*b = 5*w - 2*b + 188. Let m = w - -12. Is a greater than m?
False
Let p be ((-7)/(-2))/(((-105)/(-15))/(-658)). Is p != -1975/6?
True
Let h(z) = -5*z - 3. Let p be h(-7). Suppose 10*v + p = 8*v. Let n be 116/544 + 2/v. Is 0 equal to n?
False
Let g be (-2)/(-18) - 199/9. Let m be g/99 - 50/18. Let w be -3 - m - 25 - -3. Which is smaller: -23 or w?
-23
Suppose -8 = -7*z + 27. Suppose k - z = 1. Let w(q) = q**2 - 6*q - 1. Let l be w(k). Does 9 = l?
False
Let z(x) = -52*x - 10. Let v be z(-1). Let c = 40 - v. Is c > -2?
False
Suppose 3*v - 5*v = q - 108, -q + 216 = 4*v. Let g = -38 + 113. Let l be (66/(-10))/((-9)/g). Which is bigger: v or l?
l
Let c = -4 + 2. Let h be 2/(-8) - (c + 2). Let j = -57.16 - -43.16. Which is smaller: j or h?
j
Let r(d) = -d + 9. Let h be r(10). Let j(c) = c**2 + 123*c + 3273. Let z be j(-39). Which is bigger: h or z?
h
Let y = -4034936026232/1962462189 + -4/28441481. Let m = 2056 + y. Is 1 != m?
True
Let g be (-8)/(-80) + (-117)/(-130). Is -4/261 at least g?
False
Let x(m) = m**3 - 22*m**2 - 204*m + 21. Let f be x(29). Let i = 554/11 - 626/11. Which is smaller: f or i?
f
Let b(r) = 12*r**3 - 4*r**2 + 51*r - 238. Let c be b(4). Is 668 smaller than c?
True
Suppose 0 = 3*q + 4*u - 989, -30*u = -