 4548 = p?
False
Suppose 3*g - 2*v - 47 = 0, -120*g + 122*g + 4*v - 10 = 0. Let c be (-12)/(-8) - 49/(-2). Let n = 40 - c. Is g at most as big as n?
True
Let g(i) = 3*i**2 + 32*i - 47. Let h be g(-12). Is -2/4535 < h?
True
Suppose 8*c - 7*c = -27. Suppose 4*h + 324 = -5*f + 170, 4*h + 86 = -3*f. Do c and f have the same value?
False
Let r = 124 - 125.1. Let s = r + -95.9. Let l = 91 + s. Is l <= -4?
True
Let y = 30028 + -30028.2. Let c = 3.2 + -0.2. Which is smaller: y or c?
y
Let q = -7078 + 7079. Is q not equal to 3309?
True
Suppose 21 + 89 = 3*k - 2*l, 0 = -4*k + l + 140. Which is smaller: k or 53?
k
Let t(v) = -2*v**3 + 71*v**2 - 177*v - 36. Let c be t(33). Do -434 and c have different values?
True
Let i = 150.5 + -150. Let p be (28/70)/(18/15). Which is smaller: p or i?
p
Suppose 2*d + 20 = 7*d, 3*m - 4*d + 25 = 0. Let t(f) = f + 3. Let w be t(m). Let p be (-896)/2992 - (-2)/11. Is p less than w?
True
Suppose -5*k + 9*k - 24 = 0. Let n(u) = -u**3 + 7*u**2 - 5*u + 10. Let x be n(k). Let j = x + -15. Is j at most 2/3?
False
Let s = -31.25 - -58.765. Let j = 0.515 - s. Which is smaller: j or -6?
j
Let l be 3 + (-2 - -13) - -1389. Which is smaller: l or 1396?
1396
Let z(y) = 9*y**2 - 225*y + 8. Let j be z(25). Let w be (j/808)/((-3)/(-12)). Is -1 at least w?
False
Let m(d) = 2*d**2 + 23*d + 69. Let a be m(-23). Let s = a - 592. Is s equal to 8?
False
Let m = -12 - -15. Let p be m/(3 - (0 + 4)). Let l be -7 + 10 + 3*p. Which is greater: -7 or l?
l
Let b = 618 - 592.3. Let o = b - 24.6. Is o at most -9?
False
Let k be (-457)/124 + (-165)/110. Let n = k + -2/31. Which is bigger: n or -4?
-4
Let d be (16/(-36))/(6016/(-432) - -14). Which is greater: -236/43 or d?
-236/43
Let v = 2066/2345 + -8/335. Let z = 0.02 + 0.03. Is z less than v?
True
Suppose -1 = -2*w + 7, 2*w = -3*q + 491. Suppose 0 = 67*u - 63*u + 4*r - 632, 5*u - 820 = 5*r. Is u < q?
False
Let o(y) = 339*y + 220. Let r be o(-1). Is r less than -127?
False
Let h be (-42)/(-28) - (-9)/(-4). Let m be (-9)/6 - 62/(-124). Which is smaller: m or h?
m
Let w = 123692/5740061 + 2/8927. Which is smaller: w or 0?
0
Suppose -121*k - 7430 = -111*k. Which is greater: k or -741?
-741
Let l(j) = j + 12. Let f be l(13). Suppose -5*h = 2*w - 14 - f, -3*w - 4*h + 76 = 0. Suppose -5*m + 3*o + 162 = 0, 4*m = o + 17 + 114. Which is bigger: w or m?
m
Let o = 6751.02 - 6754. Is o bigger than 6?
False
Suppose 7*g + 2*l - 4 = 11*g, 2*g + 14 = 4*l. Let x = 23770369 - 12289270665/517. Let u = -216/11 + x. Which is bigger: g or u?
g
Suppose 4*g + 6512 = -5*f, -2250 + 6164 = -3*f + g. Is -1303 less than or equal to f?
False
Suppose -7*v - 782 - 4097 = -8*v. Which is smaller: 4878 or v?
4878
Let z be 14/14*(2 + -2). Which is smaller: 81/154 or z?
z
Let h = 295823323 + -3250627144/11. Let p = h + -312077. Let r = p - -312. Which is smaller: -2 or r?
-2
Let p = -4603/1162 + 41/166. Which is smaller: 5/8 or p?
p
Suppose 2*c = 5*c - 3. Suppose 0 = 7*m - 170 - 278. Let s be ((-2)/(m/12))/(423/12). Is s greater than c?
False
Let t = -4219 - -3875.2. Let a = -344 - t. Is 8.2 equal to a?
False
Suppose -12 = -19*l + 25*l. Let m be (17 + l)/((-170)/20). Is -2 at least as big as m?
False
Suppose -22*i = -21*i - 112. Let n be (-7 + 8)/((-18)/(-4) + -2). Which is greater: i or n?
i
Let t = -8289 + 8286.15. Which is greater: t or -11?
t
Let m(z) = 18*z**2 + 31*z - 22. Let k be m(1). Which is greater: k or 304/11?
304/11
Let b = 4684 + -4679. Is -7/55 less than b?
True
Suppose -13*i + 18*i + 21*i - 3796 = 0. Which is greater: 148 or i?
148
Suppose -9 = -3*n + 3. Let d be 3/3 - (n + 29). Let g be (-1 - 52/d) + -1. Which is bigger: g or 1?
1
Let w(c) = -12*c - 47. Let h be w(8). Let f = h + 43. Are f and -100 non-equal?
False
Suppose -4 = 3*f + n + n, 0 = 5*f - n - 15. Suppose a - m = 1 - 24, f*a + 4*m = -46. Let x = -239 + 216. Is x < a?
False
Suppose -30*x - 45 = -27*x. Let l be 7/(-18)*x/21. Let c(j) = j**3 + 6*j**2 + 13*j + 40. Let w be c(-5). Is l != w?
True
Let k = 41544 - 41534. Let n be 1 - -1 - (-17)/(-7). Which is bigger: k or n?
k
Let f(h) = h**3 + 28*h**2 + 51*h - 30. Let g be f(-26). Let o be (-1 - -1)/g - (-20)/14. Is 0 at least o?
False
Let n be (-111)/90 + 2/5 + (-360847)/(-405750). Is 1 at least as big as n?
True
Suppose -36*p - 399 - 105 = 0. Which is greater: -109 or p?
p
Suppose -4 - 14 = 3*z. Let q = z + 8. Suppose q*f - 2 = -b, 3*f + 1 - 4 = b. Are -2/11 and f nonequal?
True
Let h = -0.1145 + 8.8045. Let i = -3068.31 - -3069. Let w = h - i. Are w and -0.3 nonequal?
True
Suppose -3*r + 4*r = -3*p + 7, 3*r + 2*p = 35. Suppose -r*l + 16 + 569 = 0. Is 46 at least l?
True
Suppose 6 = j - 27. Let d(s) be the third derivative of -5*s**4/24 - 31*s**3/6 + 22*s**2. Let b be d(-13). Which is smaller: j or b?
j
Suppose 45*k = -48*k + 23*k. Are -3/305 and k unequal?
True
Suppose -3*q - 1788 = -3*k, k + 4*q + q - 608 = 0. Is k greater than 602?
False
Let l be (3 - -27) + (4 + -8 - -2). Suppose 1560 = -l*o + 24*o. Let c = o + 5067/13. Which is smaller: c or -1?
-1
Let y be (-52)/(-6) - (-23 + 26). Let t be (-2)/(-8) + 49/28. Suppose m = -3*b + 25, b - 23 = -6*m + t*m. Which is bigger: b or y?
b
Let w = 7.4 + 10.3. Let y = 26.7 - w. Does 0.2 = y?
False
Let j = 2.23455 - 0.23455. Which is smaller: 4595 or j?
j
Let i = 182 - 128. Let n = 75 - i. Suppose -n = 5*s - 16. Which is smaller: s or -2/171?
s
Let c(v) = -45*v - 136. Let q be c(-3). Which is greater: q or -4/215?
-4/215
Suppose -2*k = 359 - 1165. Suppose 6*m + k + 227 = 0. Does m = -105?
True
Suppose 0 = 3*d + 33*s - 38*s + 2498, 4*d + 2*s = -3296. Let z = d + 728. Which is greater: -1 or z?
-1
Let u be 1/((-168)/20 - (-4)/10)*-8. Is u < 40/651?
False
Suppose x + p + 3 = 0, 3*p + 3 = 24*x - 21*x. Let i = -4 + 7. Let g be i - x/(-2 - -1). Is 7/12 less than g?
True
Suppose -4*v = 16, -12*v = -2*o - 16*v + 22326. Which is greater: o or 11170?
o
Suppose 0 = f + 5*n - 33, 5*f - 6*f - 3*n = -27. Let v = 244851/70 + -17579/5. Let z = v + f. Is -1 less than z?
True
Suppose 424*x = 315*x - 424*x + 331526. Which is smaller: x or 1/3?
1/3
Let z = -83 + 68. Suppose 4*p - i - 2 = 15, 0 = -5*p + 5*i + 10. Suppose -p*a = 3*c + 51, a + 3 + 0 = 0. Is z at least c?
False
Let d = -6 + 3. Let l = -2 - 273. Let b = -280 - l. Which is bigger: b or d?
d
Let t = 6757 - 5797. Which is smaller: t or 959?
959
Let r(t) = -4*t**2 + 46*t + 17. Let x be r(12). Let y be 36*6/(x - 5). Which is smaller: -12 or y?
y
Let l be (60 - (-6260)/(-105))*(-24094)/(-6). Is 1530 greater than l?
True
Let m(g) = 6*g**2 - 57*g - 325. Let w be m(-6). Is w at most as big as 229?
False
Let k = 14 - 74. Let d = 7.8 + -66.8. Let g = k - d. Which is smaller: g or 5.1?
g
Let t be (-24)/(-18)*((-8)/6)/(1/27). Are t and -77 nonequal?
True
Let z(d) = -2*d**2 + 11*d. Let f be z(6). Let w be 71/12 + (-8)/f. Let p = -7 + w. Is 7/5 <= p?
False
Let i(f) = 4*f - 15. Let g be i(6). Suppose -2*j - 3*z = -51, -2*z + g = -1. Suppose 3*w + 4 = -n - 6, n - 4*w - j = 0. Which is smaller: n or 1/3?
1/3
Let d(x) be the second derivative of 2*x**3/3 - 7*x**2/2 - 6*x. Let y be d(3). Let p = 9275/2062 + 2/1031. Which is bigger: p or y?
y
Let u = 6136 - 6073.79. Let t = -61.61 - 0.39. Let f = t + u. Does f = -1?
False
Let n = 79529606/31 + -2567476. Let q = 2004 + n. Which is greater: q or 0?
0
Let b = -10 - -31. Let f(o) = 2254*o - 24784. Let p be f(11). Which is smaller: p or b?
p
Let y be 8/(-32)*(24/10)/((-119)/(-85)). Is 72 > y?
True
Suppose -105 - 115 = 5*k. Let x be 0 + -28*4/k. Suppose -2*f = 2*w - 6, 5*w + 15 = -24*f + 29*f. Which is greater: f or x?
f
Suppose 12750 = 121*h - 70*h. Which is smaller: 19 or h?
19
Let y = 8752 - 8772. Is 68 <= y?
False
Suppose -2*r - 5*f - 3 = 0, r + 0*r - 6 = 5*f. Let m be ((24/(-36))/(-1*1/(-3)))/(-65). Which is smaller: r or m?
m
Let u = -746 - -1959. Let n = -47303/39 + u. Let o be ((-8)/(-3))/2 - 1/3. Which is bigger: n or o?
o
Let l = 4851 + -4948. Let y be (2 - 5) + (-17)/(-5). Are y and l unequal?
True
Let u = -2.384 + 6.384. Is -351 < u?
True
Let a be (-14)/(-77)*16774/(-4). Let h = -763 - a. Suppose -x + 4 = -6*x - o, -3*x - 2 = o. Which is greater: h or x?
h
Suppose -k + 4*l = -1, -3*l + 7*l + 3 = 3*k. Suppose -3*a = 5*o + 41 - 16, -4*o - 16 = 2*a. Is k bigger than o?
False
Suppose -60 = -7*p