 greater: t or -3?
-3
Let l = 4 + -3. Suppose -4*c + 9 = -3*u, 4*c - 10 = -5*u + 7. Let y be (10 - l) + (-4)/u. Is 7 less than or equal to y?
False
Suppose -3*k - 23*j - 27 = -19*j, -3*j + 18 = 0. Which is greater: k or 22?
22
Let l be (-15)/2*(-12)/9. Let s be 12/27*(-54)/(-4). Let b be 136/s*(-1 + l/4). Which is bigger: b or 35?
35
Let x(o) = -2*o**3 - 15*o**2 - o - 51. Let n be x(-8). Suppose t + 480 = n*t. Is t less than 22?
False
Suppose 291 = 2*b + 1509 + 14. Which is smaller: -619 or b?
-619
Let w = 7044 - 35394/5. Suppose 3*q + 2*y + 138 = 31, 4*q + 135 = 5*y. Which is smaller: q or w?
q
Let n be (296/(-54 + 17))/((-6)/(-27)). Let i be 2 + -4 - 4*-2. Let o be (28/i)/((-2)/15). Is n > o?
False
Let s = -112 + 44. Let q = s - -69. Let t = 2467/1100 + 2/275. Which is bigger: t or q?
t
Suppose -c - 225*y = -222*y - 449, -c + 479 = -3*y. Is c smaller than 2323/5?
True
Suppose 0 = 2*z + 34*z - 1152. Suppose 0 = z*b + 14*b - 46. Which is greater: 22/15 or b?
22/15
Let o = 718 + -480. Let f = o - 10709/45. Is f greater than or equal to -2/3?
True
Suppose 11*z - 6*z - 25 = 0. Let m = 52 - 62. Let v be (2/4)/(m/(-104)). Is v at most as big as z?
False
Let j(l) = -6*l - 74. Let f be j(-12). Let c be (-795)/150 + (-1)/f. Suppose -4*a = -6 + 22. Which is greater: c or a?
a
Suppose 16*n - 2507 + 410 = 911. Is -1 equal to n?
False
Suppose 8*j = 3*k + 12*j + 23, -5*k - 3*j - 20 = 0. Let c(a) = 333*a**2 - 2*a - 2. Let y be c(k). Let g = -4331/13 + y. Is g greater than 0.2?
False
Suppose -28*t - 4 = -30*t. Suppose 0 = -3*r - t*w - 0 - 43, 0 = r + 4*w + 31. Do -11 and r have different values?
False
Let w = -27 - -72. Let k be (-18)/w - (-34)/10. Suppose x - 2*r = 10, 0 = x - r - k*r - 2. Which is smaller: 17 or x?
17
Let j = 7 + -5. Suppose -j*l = -6*l + 16. Let m = 15251 - 45739/3. Which is bigger: m or l?
m
Let h(d) = -46*d**3 + 170*d**2 - 6*d + 18. Let a be h(4). Which is bigger: a or 21?
21
Let x = -1.512 + 0.712. Do x and 171 have the same value?
False
Suppose -3*x + 121 = 139. Let p be (-3)/x*(8 + -9). Do -0.2 and p have the same value?
False
Let v = 153721/48 - 9583/3. Let z = -14049/1712 + v. Which is greater: -1 or z?
z
Let k be 9 + (0 - (-1 + 4)). Let v = -1247 - -6259/5. Is v >= k?
False
Let d = 83185/4 - 21808. Is -1011 greater than or equal to d?
True
Let g(d) = 10*d**3 - 137*d**2 - 11*d. Let y be g(17). Which is bigger: 9349 or y?
y
Let n(b) = 3*b**2 + 6*b + 28. Let v(y) = 6*y**2 + 11*y + 55. Let r(j) = -9*n(j) + 4*v(j). Let m = 910 - 914. Let k be r(m). Is -41 less than or equal to k?
True
Suppose 0 = -83*d + 67*d - 1216. Which is bigger: -78 or d?
d
Suppose 4*j - 10 - 4 = -c, 3*c + 3 = 3*j. Suppose 206 = -c*g - 130. Let w be -3*68/g - (3 - 2). Is w less than 1?
True
Let c = -1135 - 383. Which is greater: -1519 or c?
c
Let n be (-3 + (-7)/(-3) + (-20)/(-30))/(-2). Is -2/19775 greater than n?
False
Let u = -15152/9 + 1681. Let k = -8/9 - u. Is 1 at most as big as k?
True
Let a be (-961140)/2075*40/6. Is -6173/2 at least as big as a?
True
Suppose 4*r = 5*g + 15, -r - 9 - 3 = 4*g. Suppose f + 3*o + 3 = r, 3*f + 3*o - 3 + 6 = 0. Is f != -2/383?
True
Let z = 2279/6504 - -20/813. Which is smaller: z or -0.114?
-0.114
Suppose 4*k - 2*u - 633 = -3*k, -5*k + 460 = -3*u. Which is smaller: k or 8/3?
8/3
Suppose -514*u + 66293 + 943203 = 0. Which is smaller: u or 1967?
u
Let a be (-5 + -1)/(530/(-53)) - 1924/(-10). Is 198 less than or equal to a?
False
Let b = -21.7 + 23. Let j be 2 - (137 - 126)*(1 + -2). Which is greater: b or j?
j
Let r(i) = 78 - 25*i + 11*i + 23*i. Let y be r(-9). Are y and -50/13 non-equal?
True
Let q = 35.915 + 0.085. Let p = -1507.7 - -1500.7. Which is smaller: q or p?
p
Let a = 17557 - 17559. Which is smaller: a or -0.00617?
a
Let h(o) = -o**2 + 9*o - 11. Let l be h(7). Suppose 23 = -5*a - s, -l*a + 0*a + 5*s + 3 = 0. Which is greater: -1/18 or a?
-1/18
Let i be (-5)/1*(-7 - -5). Suppose -9*b = -i*b - 15. Let m be (-1*9)/(14 + b). Is m not equal to 6?
True
Suppose 57 - 57 = 40*h. Which is smaller: h or 3/1228?
h
Let x = 758 + -757.75. Let f be -6 + -3*(-4)/(-12)*-1. Which is smaller: f or x?
f
Let j = -63.496 + -0.504. Let y = -63.9 - j. Is y at least -15?
True
Let n(m) = -75*m + 154. Let o be n(19). Which is bigger: -1268 or o?
-1268
Suppose 85*h = 80*h. Is h at most as big as -2/895?
False
Let q(j) = j**2 - 6*j - 14. Let v be q(8). Let d be 38 - v/(-6)*0. Let z = d - 21. Which is greater: z or 47/3?
z
Let j be (-9460)/(-6) + (-42)/63. Is j greater than 1575?
True
Suppose -21*s - 240 = -0*s + 19*s. Is s != -587?
True
Let n be (37*-1 + -1)/1. Let p(a) = -a**2 + 4*a + 92. Let y be p(12). Let x = y - n. Which is smaller: x or 35?
x
Let y = -259/15 - -88/5. Let c be 2/(-4)*(-3 + 2). Which is greater: c or y?
c
Let m(c) = c**3 - 2*c**2 + c - 24. Let r be m(4). Let y(h) = -h**3 + 13*h**2 - 13*h + 10. Let t be y(r). Which is smaller: t or 2?
t
Let s = -158 + 140. Let r be 41/14 - s/(-42). Which is greater: -3 or r?
r
Suppose 4*x + 3*r = 31, 4*r + 12 + 12 = 4*x. Suppose 0 = -5*h + 108 + 12. Let z = 32 - h. Which is greater: x or z?
z
Suppose f - 27 - 106 = 0. Let i = 256 + -124. Which is smaller: f or i?
i
Let d = 1175157 - 1174684.089. Let x = d - -1.089. Which is bigger: x or 0?
x
Let u(c) = -6*c**2 + 61*c - 62. Let g be u(9). Which is greater: g or -1/659?
g
Suppose 3*y - 113 + 38 = 0. Let w(i) = 14 + 40*i - y - 21 + 3 + 2*i**2. Let a be w(-21). Which is smaller: a or 12?
12
Suppose -5*y + 4 = -7*y. Let c be (-1 - -5) + y - (23 + 4). Let x be (-88)/22 + -1 + 8. Which is greater: x or c?
x
Let n = 12223.99 + -12171. Let b = n - -1.51. Let r = b + -55. Which is bigger: r or -5/6?
r
Let b = -2/16437 + -9286901/32874. Which is bigger: -282 or b?
-282
Let z be (-12)/(-531)*(1 - -2). Suppose 0 = d + 3, -u - d - 4*d - 20 = 0. Let x be -2 + 2 - (6 + u). Which is smaller: x or z?
x
Let q = -30632 - -25575. Which is smaller: q or -5055?
q
Let w = 16 + -15. Suppose 0 = -8*i - 30*i + 914 + 5736. Which is greater: w or i?
i
Let g = 1438.1 + -1391.1. Which is bigger: g or 71?
71
Let v be 6/(-1)*(-6 + 8/(-6)). Is v < 36?
False
Suppose -3*k + 1 = 4*x + x, 0 = -2*k - 5*x - 1. Let y be -3 + 4 - k - 3. Let h be 49/y - 11/(-44). Is -11 less than h?
False
Suppose -i - 51 = -2*p, 2*i - 6*i + 108 = 4*p. Suppose -9*l = -p*l + 255. Which is smaller: l or 16?
l
Let s = -154 - -427. Let u be s/(-6) + 1 - (-15)/10. Is u at least as big as 1?
False
Suppose -r + 15 = -3*i - 1, 30 = -5*i + 5*r. Let w = -7520/3 - -2502. Which is bigger: i or w?
w
Let x be 9/(-4)*(30/150 - 623/15). Is 88 >= x?
False
Let t = -0.25 - -0.55. Let c = t - 17.3. Let y = c - -15.3. Which is bigger: 1/4 or y?
1/4
Let t(g) = g**3 - 5*g**2 + 77*g - 302. Let l be t(4). Let q be 357/9 - 2/(-6). Suppose 4*u = -5*v - q, 0 = 3*u - v + 6*v + 30. Is u > l?
False
Suppose -2 = u - r - 8, -12 = 5*u + 2*r. Is 1/1391 not equal to u?
True
Let v be 3/2 + 7/((-56)/(-12)). Suppose -4*y + 449 = 2*b + b, -b + 343 = v*y. Which is smaller: 118 or y?
y
Let u = -137/2 - -1576/23. Let w(m) = m**3 - 8*m**2 - 1. Suppose -n - 3*n + 4*z = -16, -n + 12 = z. Let b be w(n). Are u and b nonequal?
True
Let g = 69 + -44. Let q(y) = -28*y - 63. Let p be q(-3). Let n be (1/((-9)/(-4)))/((-14)/p). Which is greater: g or n?
g
Let v = -162 + 140. Let f = -21 - v. Let h be (100/(-6))/(308/(-42)). Is f at least as big as h?
False
Let x = -3129 - -3130. Is x <= -2859?
False
Suppose -5*p = -5*w + 3765 + 7970, -5*p + 4*w - 11729 = 0. Are -2343 and p equal?
False
Let k(h) = 16*h + 879. Let s be k(-57). Which is greater: -53 or s?
s
Let g = -93 - -92. Let v = -1670/99 - 5/792. Let a = 699/40 + v. Is a less than g?
False
Let a(v) = 5*v**2 + 10*v + 2. Let m be a(-2). Let y be 4 - m - 4/8*4. Is y less than -37.2?
False
Let b be 1505/(-14)*36/9. Let n be (-4)/10 + 2838/b. Which is greater: -13 or n?
n
Let k = -27591 + 27592. Which is greater: k or -5/67?
k
Let q = -164.9 + 164.866. Is -210 at least as big as q?
False
Let d(l) = 2*l**2 + 16*l + 4. Let x be d(-10). Suppose 49*z = x*z. Suppose -3*y - f = -y - 3, z = -4*f + 12. Which is smaller: y or 6/23?
y
Suppose -2*d = 5*y + 10, -5*y = -2*d + 5*d + 15. Let m = 360641/12 + -30089. Let l = 145/4 + m. Which is smaller: y or l?
y
Suppose 0*f - 3 = 3*f. Let p be 5/35 + (-45650)/(-77). Let