 14816 = -9065. Are -1837 and q equal?
True
Let z(m) = m**3 - 2*m**2 + m - 2. Let y be (-3)/6 + 10/4. Let d be z(y). Let c(l) = l**3 - 21*l**2 - 121*l + 527. Let a be c(25). Which is bigger: d or a?
a
Let m = -13502 - -13502. Is -0.03843 equal to m?
False
Suppose 3*o = -0*o + 78. Suppose 3*g = -2*k - 25, g + o + 17 = -5*k. Which is bigger: -7 or k?
-7
Let n = -288 - -280. Let g be (-577)/n + (-3)/24. Is 74 greater than or equal to g?
True
Suppose -22*x = 14*x. Suppose x = 13*d - 934 - 1068. Does 154 = d?
True
Suppose -2*n = 154 + 850. Let c(k) = -4*k**2 - 155*k - 1652. Let l be c(-10). Is n greater than or equal to l?
True
Let x = 31941 - 31941.047. Let j = 1.9 - 2. Do x and j have the same value?
False
Suppose 2*p + 2*p - 16 = 0. Suppose 41*s + 165 = 124. Let r be 0 + (s - (-6)/p). Is r at least 0?
True
Suppose -j = k - 0*k - 31, -5*k = -2*j + 55. Let l = j + -42. Let c(s) = -3*s - 29. Let a be c(l). Is a bigger than 4?
True
Suppose 5*i + 12 = 22. Let q be 4 + -4 + 200/i. Which is smaller: 99 or q?
99
Let z = -25295 - -25296. Suppose 7*l + 888 = 3*l. Is l less than z?
True
Let t be -3 + (-3 - ((-232472852523)/30428480550 - -1)). Let h = t - 6/6395225. Let i = h + -3/122. Is 0 equal to i?
False
Let y = -49.04 + 35.04. Is y < -84?
False
Let w = -1440 + 973. Let b = w + 467. Is b at most as big as 219?
True
Let f = -83 + 77. Let k = 2727.013 - 2733. Let w = k - f. Is w equal to 2/5?
False
Suppose r + r - 3*k - 30 = 0, 41 = r + 5*k. Let l = 272 - 505/2. Is l smaller than r?
True
Let n(m) = -7*m - 105. Let y be n(-15). Let i be -15*(2 - 212/102)*1. Is i bigger than y?
True
Let g(i) = 182*i**2 - 3441*i + 20. Let s be g(19). Are 343 and s equal?
True
Let c(f) = 7*f - 2. Let p be c(5). Suppose 25 = 2*d + 4*k + 5, -5*d + 26 = -2*k. Suppose 0 = -4*t + d*t - 66. Is p < t?
False
Let d be -1*(-6)/(-2) - 6. Let t(p) = 7*p - 51. Let s be t(7). Let i be 4*s/((-16)/(-22)). Is i at most as big as d?
True
Let p be (3 + 35/10)*4/1. Let o be -1*(24/(-54) + p/18). Let k be 6/(-49)*16 + 2. Which is smaller: k or o?
o
Let r = 808 + -1303. Let l = r + 485. Let o = -3 - -3.2. Which is smaller: l or o?
l
Let u be 32/(-4) + (-374)/(-51) + (-17432)/(-12). Which is bigger: 1456 or u?
1456
Let t(y) = -y**3 + 2*y**2 - y - 1. Let w be t(1). Let g = 201 + -219.2. Let q = -1.8 + g. Which is smaller: w or q?
q
Suppose -3*s - 38 + 17 = -5*z, 0 = 3*s + 3*z - 3. Let j(k) = -8*k - 8. Let a be j(s). Suppose -b + 9 = a. Which is bigger: b or 4?
4
Suppose 4*r = 2*y + 6, -95*r = 5*y - 99*r + 9. Which is bigger: y or 65?
65
Let a = -10 - 19. Let d = a - -26.1. Let m = 529262 - 529261.9. Are m and d equal?
False
Let p = -0.244 + 0.944. Let j be 2/40 - (-2 + 63/28). Which is bigger: j or p?
p
Suppose 5*o = -3*y - 70, 3*y + 52 = 123*o - 119*o. Is y < -3/109?
True
Let s = 7911 - 7911. Is 1/5161 greater than s?
True
Suppose -24748 + 2469 = -54*o - 1273. Which is bigger: 391 or o?
391
Let f = 83811 - 4274515/51. Is -2 smaller than f?
False
Let h = 12.4 + -13.43. Let s = h + 0.03. Let q = 4.0686 - 0.0686. Which is smaller: s or q?
s
Let o = 16 - 81/5. Let l = -8019.1 - -8017. Is o <= l?
False
Let h = 126 - 123.931. Let s = h - 2.169. Let z be ((-98)/(-10))/((-18)/(-15)). Is s greater than z?
False
Let m = -1575 - -1605. Which is bigger: 31 or m?
31
Let p be -31 + 22 + (-2 - 434/(-2)). Which is smaller: p or 208?
p
Suppose -3150 = 126*r - 123*r + 5*k, 5250 = -5*r - 4*k. Which is smaller: -1046 or r?
r
Let l be ((-41)/(-410))/((-1)/10) - -2177. Which is smaller: l or 2175?
2175
Let a be (13 - 15)/(2*2/(-1206)). Let g be (-2586)/a*5/(190/3). Let f = g + 7/19. Do f and -1 have different values?
True
Let h(j) = 17*j - 233. Let s be h(14). Do s and 21/2 have the same value?
False
Let p = 2/3429 - 157816/140589. Is p < -1?
True
Suppose 11*b = 7 + 26. Let o(x) = -2*x**2 + 6*x. Let s be o(b). Let c = 2/169 - 722/3887. Is c greater than s?
False
Let y = -82 - -78. Let d = 61 + y. Let m = d - 56. Which is smaller: m or 69?
m
Let p = -1 - 76. Suppose -6*d - 45 - 423 = 0. Let z = d - p. Which is greater: -1/115 or z?
-1/115
Let x = -373/3240237 - -1/1183. Which is smaller: -2 or x?
-2
Let a = -55 - 85. Let p be (-1)/((-3)/15) + 740/a. Is 0.03 less than p?
False
Let n = -135 - -134. Is n smaller than -110.3?
False
Let t = -65905 + 123308259/1871. Which is smaller: t or -1?
-1
Let d = 228 + -95. Suppose -4*x + 2*x + 262 = 0. Which is smaller: d or x?
x
Let p be ((-103419)/189 - -11) + -3 + (-10)/(-3). Which is smaller: p or -535?
p
Let i be 2/((-12)/3 - -98). Let n = 71/1128 - i. Is 0 at least n?
False
Suppose 21*a - 38*a + 2576 = 29*a. Which is smaller: a or 70?
a
Let z = -1.7 - 7.3. Let l be (-57)/45 + (-2)/(-5). Let s = l + 2/3. Which is bigger: z or s?
s
Let h(c) = -c**3 + 7*c**2 - 7*c + 1. Let g be h(6). Let t = g + 12. Suppose 2*p - t*p - 5 = 0. Which is smaller: 2/173 or p?
p
Let w(n) = 4*n**2 - 56*n + 39. Let j be w(19). Let u = j + -403. Is 15 not equal to u?
True
Suppose -8851 = 5*n - 2*p + 5*p, 5*n + 4*p = -8853. Let d = -6939/4 - n. Which is bigger: d or 34?
d
Let t(j) = 38*j + 118. Let s be t(-3). Let b be (-14)/s*28/(-91). Which is bigger: b or 0?
b
Let k be 2*-1 + 1 - -1. Suppose k = -2*l, 3*o - 8*o - 5 = l. Let z be (-16)/6160*-50*-11. Which is bigger: z or o?
o
Let y = -3674 - -3123. Is -553 at most as big as y?
True
Suppose -8*f - 59 = 3*v - 3*f, 3*f = -4*v - 75. Suppose 3*b + 447 = 6*b. Let r = b - 165. Is r <= v?
False
Let n(k) = 4*k**2 - 170*k - 131. Let a be n(21). Do -1943 and a have different values?
True
Let h = 1095240587404/50673 + -64841668/3. Let j = h + 2/889. Which is bigger: 2/5 or j?
2/5
Suppose 0 = -4*c + 6 + 14, -4*c = -4*q + 184. Let o be 0 + (-1)/(-18) - q/(-102). Is o at most 0?
False
Let g(d) = -d**3 + 11*d**2 - 103*d + 904. Let k be g(10). Let n = 0.01 + -0.21. Let m = n - 0. Which is smaller: m or k?
k
Suppose -7*q + 2*q - 3*b = -114, 4*b = 5*q - 128. Suppose 486*x + 819 - 5082 = 274 + 6155. Which is greater: q or x?
q
Let h = -2548 + 2464. Which is smaller: h or -0.1?
h
Let g(i) = 18*i - 1316. Let a be g(74). Let s = 3.59 + -3.6. Which is smaller: a or s?
s
Let y be 779/3610 + (-10)/75*3. Which is bigger: 1 or y?
1
Let o(f) = f**3 + 6*f**2 + 8*f + 12. Suppose -20 = -35*w + 31*w. Let h be 2/w + -9 + 108/30. Let p be o(h). Which is bigger: -2 or p?
-2
Let w be 542*1/(-7) - (55/35 - 1). Is w at most as big as -82?
False
Suppose s + 11 + 58 = 2*u, 0 = -4*u - 5*s + 173. Suppose 182 = x - 3*y, 3*x - 508 = -3*y + 38. Let t be ((-54)/(-21))/(13/x). Is t less than u?
True
Let d = -29043 - -1945854/67. Is d < 0?
True
Suppose 360 = 208*g - 217*g. Let j = 79/2 + g. Let t = 11 - 6. Which is smaller: t or j?
j
Let s = -9169 - -9324. Is 0.055 smaller than s?
True
Let v = -1/88039 - -9156205/13117811. Is v equal to 2?
False
Suppose -24*r + 5389 = -30*r + 23*r. Is -2/23 less than r?
True
Suppose -7*v - 2 = -16. Suppose -3*a = -v*a + 6. Let w be a/(-36)*6/4. Is 10 <= w?
False
Suppose 0*q - 183 = 3*q. Suppose -359*k - 1393*k - 70521 - 42903 + 1296 = 0. Which is smaller: q or k?
k
Let q = -810280/19 + 42646. Is 15/8 > q?
True
Let o(d) = d**2 - 26*d + 121. Let n be o(17). Let k be n/(-29) + (-16)/(-4) + -5. Which is smaller: -1 or k?
-1
Let d = 12 + -27. Let h be d/(-4) - (-3)/12. Suppose -7*i + 201 = -h*i. Which is greater: i or 68?
68
Suppose 116 = -2*o - 2*q, -2*o - 3*q - 62 = -o. Let b be (-3*3/(-18))/(14/o). Let i be 94/6 - (b - 2)*1. Which is smaller: 20 or i?
i
Suppose 3*p = -3*q - 1629, -165 - 1462 = 3*p + 4*q. Let j = 569 + p. Which is smaller: 26 or j?
j
Let k(n) = n - 3. Let f = -8 - -11. Let o be k(f). Let w = -1283 - -15397/12. Is o not equal to w?
True
Let c(t) be the third derivative of -t**4/24 + 13*t**3/2 + 56*t**2. Let n be c(36). Which is greater: 23/9 or n?
n
Let t be 2/((-32)/3)*15840/(-1296). Is 2 at least t?
False
Let o = 4726 + -4726.1435. Is -0.2 at least as big as o?
False
Let v(w) = -3*w**2 - 253*w - 63. Let o be v(-84). Do 266/13 and o have different values?
True
Let m = -4002/7 + 1143/2. Is m greater than or equal to -27?
True
Suppose -19912 - 16894 = -11*k. Which is smaller: k or 3347?
k
Let r = 4 + 14. Let h = 16.6 - r. Let w be 2/18*1422/632. Which is bigger: h or w?
w
Let p be ((-41)/1189)/((-15)/46983). Let r = 108 - p. Which is smaller: -1 or r?
-1