n -23/10?
False
Let r(h) = 304*h + 853. Let f be r(-9). Is f bigger than -1883?
False
Let i be 2757/(-30)*(13 - 8). Which is smaller: i or -459?
i
Let u = 1431 + -1435. Is u at most -106/21?
False
Let i = 7.8 + -51.8. Let d = i - -46.2. Are d and -3/5 equal?
False
Let g be 3/(-2) + 16/(57280/5310). Is g <= 1?
True
Suppose -b + 10*x - 12*x + 10 = 0, 5*b + x = 23. Is b < -48?
False
Let l = -112.8 - -113. Is -85 at least as big as l?
False
Let s = -205 + 206. Which is smaller: -1/13 or s?
-1/13
Suppose 0*t - 5 = -5*t, -3*t = y + 52. Let c = 19 + y. Is -35 less than c?
False
Let t be (-6)/26 + 4 + -11. Which is greater: -8 or t?
t
Suppose -26*s - 2 = -25*s. Let u be 4*(3/12)/(-1 - s). Which is greater: u or -1/15?
u
Let r be 24*(-9)/(-36)*(-2 + -37). Is -234 at least r?
True
Let y = 53969711602/4617 - 11689346. Let v = y - -5/243. Is -1 <= v?
True
Let u be (-2 + 7)*(-7)/(-35). Let t be (-50)/(-15)*u + (-2)/6. Let j = 0.6 - 0.1. Does j = t?
False
Suppose 0*m - 24*m = 24. Which is bigger: m or -4/135?
-4/135
Let g be ((-1308)/24)/(((-2)/(-2))/(-2)). Does g = 109?
True
Let g = 138 + -103.75. Let y = -34 + g. Is -0.1 smaller than y?
True
Let i = -2 + 6. Let k = 5.6 - 5.4. Which is greater: k or i?
i
Let c = -136 + 114. Does c = -20?
False
Let r(a) = -a**2 - 3*a - 2. Let f be r(-2). Let d = -14.4 - -12. Let s = d + 2.3. Is s < f?
True
Suppose 3*f + f + 16 = 0. Let k be (-20)/8*64/(-10). Suppose k*n - 18*n = 8. Is f < n?
False
Let u be (-7)/(-14)*(-3819)/(-18). Let q = 106 - u. Is q < 2/11?
True
Suppose 0*g = -11*g + 44. Suppose j = 37 + g. Is -0.1 at most as big as j?
True
Let h = 11.07 + 1.03. Let i = 12 - h. Let a = i - 0.9. Is 0.1 less than or equal to a?
False
Suppose -4*o = -5*m + 11, 5*m - 9*m + 4*o = -12. Does -5/107 = m?
False
Let o(t) = -4*t**3 - 10*t**2 + 12. Let b(r) = -5*r**3 - 9*r**2 + 11. Let c(d) = -3*b(d) + 4*o(d). Let a be c(-13). Is 16 < a?
False
Suppose 3*x + 3 = 0, -5*o + 4*x + 1 + 3 = 0. Let p be 3 + (2 + o)/(-1). Is 3/8 < p?
True
Suppose 6*i = -0*i - 546. Let n be (i/39)/((-1)/(-3)). Let q be 15/(-2) + 3/(-6). Is q smaller than n?
True
Let i = -108 + 44. Let d = i - -61. Is 0 equal to d?
False
Let d = 117 - 116.942. Let h = -19.058 + d. Which is smaller: 1/5 or h?
h
Let f = -16.2 + 16.287. Is 1 > f?
True
Suppose -11 = 4*h - 4*o + 25, 4*h + 1 = -3*o. Let p be (2 - -2) + h - 9*3. Which is smaller: p or -28?
-28
Let x(l) = -20*l. Let d be x(1). Which is smaller: d or -102/5?
-102/5
Let c be (2 + -27)*(-1 + 4 + -4). Let w be (2 - 60/c) + 1. Which is smaller: 1 or w?
w
Let c = -526 - -526. Which is smaller: 15/17 or c?
c
Let n = 74 + -72. Suppose 21 = -l - 5*y, y = n*l - 8 - 5. Which is smaller: l or -0.2?
-0.2
Suppose -7163*p + 7095*p = -68. Let j be ((-7)/(-37))/((-1)/(-2)). Is p greater than j?
True
Let m = -368 - -290. Which is greater: 1 or m?
1
Let o be 21/49*(-3)/((-300)/245). Which is smaller: o or 1?
1
Suppose 1 = -5*l + 3*j + 7, 5*l = 4*j + 8. Suppose -15*p + 19*p - 8 = l. Suppose 2*a + 13 = -6*v + v, v = 3*a - 23. Which is greater: p or a?
a
Let f = -297/4964 + 5/68. Are -1 and f equal?
False
Let n = 0.1 - 1. Let c = 12.9 + n. Is c bigger than -1/2?
True
Suppose a = 4*a + 81. Let x be (-18)/80*(-36)/a. Are x and -1 nonequal?
True
Suppose 260*f + 28 = 256*f. Which is greater: 9 or f?
9
Let p be (98/(-35) - -3)*(-6)/(-5). Which is bigger: -1 or p?
p
Let j = -220 + 220. Which is smaller: 258 or j?
j
Suppose 4*h + 25 - 9 = -2*l, 2*h - 12 = 4*l. Which is smaller: -3 or l?
l
Let q = 366 + -375. Is -21 smaller than q?
True
Let s be 355/(-17) - (-4)/(-34). Which is bigger: s or 5?
5
Let h(v) = 3*v**2 - 8*v - 19. Let l be h(10). Let r = l + -190. Suppose -5*z - 29 = -4, f - 4*z = 18. Which is greater: r or f?
r
Let u be (-48)/26 - (-6)/(-39). Let w be 226/(-140) - (-3)/3. Let k = w - -9/10. Which is bigger: k or u?
k
Let b(q) = -q**3 + 32*q**2 + 35*q - 60. Let m be b(33). Which is bigger: 180/37 or m?
m
Let d(w) be the first derivative of w**3/3 + 4*w**2 + 7*w - 1. Let y be d(-8). Which is smaller: y or 8?
y
Let c = 263 + -397. Let q = c - -148. Which is smaller: q or -2?
-2
Let i(m) = -24*m**2 + 7*m - 12. Let h be i(2). Which is smaller: -101 or h?
-101
Let m = -1/367231 + -1585703443/5508465. Let n = -288 - m. Does n = -1?
False
Suppose -3*a + 5*f + 47 = 0, 3*f = -0*a + 3*a - 39. Suppose -a*s + 20 = -5*s, -3*s = 3*b - 9. Which is bigger: 32 or b?
32
Suppose 166*q - 540 = 160*q. Is 97 greater than or equal to q?
True
Let c = 3692 - 3617. Suppose -2*t + 225 = t. Is t >= c?
True
Let h = 69 - 13. Is h equal to 57?
False
Let j = 0.2265 - -0.0135. Do -4 and j have different values?
True
Let y(i) = 58*i**2 - 16*i - 47. Let s be y(-5). Which is smaller: s or 1482?
1482
Suppose 0*a - 5*a = -10. Let k(x) = 3*x**2 - 2*x + 3. Let f be k(a). Let s be f/(12/4 + -4). Which is smaller: -12 or s?
-12
Let j be (-612)/84 - -7*1. Is 1/125 not equal to j?
True
Let v = 1.67 - 20.67. Are v and 3 nonequal?
True
Suppose 0 = -7*x + 2*x. Suppose -2*f - 134 = 3*y, -y - 40 = -x*y - 4*f. Let n = -177/4 - y. Is 1 less than or equal to n?
False
Let h = -135.8 - -137. Is h not equal to -1/19?
True
Suppose -4*f + 117 = -5*b - 188, -f = 3*b + 166. Is b less than -990/17?
False
Suppose -3 = -i - 2. Let c be -1 - (70/i)/(-5). Let h be (-2 - (-2)/2)*1. Is c > h?
True
Let n = 1327.91 + -1341. Let q = n + 0.09. Let y = 13.1 + q. Is -4 bigger than y?
False
Let a = 0.48 - 0.15. Let t = a - 0.23. Do t and -5 have different values?
True
Let z = -453778/15521 - -497/17. Which is greater: -1 or z?
z
Let u = -210.86 - -209. Let i = u - -1.9. Let c = 1.96 + i. Which is greater: 1/7 or c?
c
Let c(u) = -28*u - 5. Let o(m) = -55*m - 10. Let q(x) = 10*c(x) - 6*o(x). Let l be q(-5). Let v be 76/l - (-2)/8. Is v greater than or equal to 1?
False
Let c = -46 + 47. Suppose -2*d = -5*l - 60, d - 21 = 3*l + 15. Is c smaller than l?
False
Let t(z) = -z + 2. Let m be t(-10). Let h be ((-2)/m)/(30/(-54)). Which is bigger: -1 or h?
h
Suppose 5*j - 2*d - 23 = -3*d, 0 = 4*d + 8. Suppose 0 = k - j*k - 12. Suppose -4*u = -5*u - 1. Is k <= u?
True
Suppose 2*c = 3*c - 23. Let j be c/36 - 1/(-3). Let y = j + -3/4. Is 0 smaller than y?
True
Let r be (4 + (-1352 - 10))/(0 - -2). Is -680 less than or equal to r?
True
Let h be 42/9 + 3 + 22/(-6). Suppose h*b + 4*c - 152 = 0, 0*c + 28 = b - 4*c. Which is smaller: b or 35?
35
Let l = 374 - 378. Is l at most -33/10?
True
Let p = 2809/69 + -119/3. Which is greater: p or 1?
p
Suppose 3*a + 0*s = -5*s - 139, 162 = -4*a - 2*s. Which is smaller: -29 or a?
a
Suppose -4*t = -t - 48. Let k = 17 - t. Is k greater than or equal to 1?
True
Let o be (24 - 9) + 0/(-1). Let m be 2*(-3)/9*-24. Is m < o?
False
Let p(h) = h - 10. Let u be p(12). Suppose a + 7 - 5 = -d, -5*a = -u*d - 25. Let o be (-1)/(2/(-4)*2). Does a = o?
False
Let p(o) be the third derivative of 0*o - o**3 + 4*o**2 + 0 - 1/12*o**4. Let u be p(-7). Which is bigger: 7 or u?
u
Let q = 0.0749 - 30.9749. Let a = q - -31. Is 1/4 at least as big as a?
True
Let h = -13.5 + 12.9. Which is smaller: h or -0.055?
h
Suppose 16*y = 12*y + 1020. Let u = y - 366. Is u != -110?
True
Let i(r) = 2*r**2 - 13*r + 21. Let s be i(10). Suppose 0 = -4*o + 87 - s. Is 6/17 <= o?
False
Let c(f) = -f**2 + 16*f - 61. Let u be c(6). Which is bigger: -3/146 or u?
-3/146
Let h be ((-2)/(-992))/(16 - 950/60). Which is smaller: h or 2/5?
h
Let d be 1/(2/2)*(-2 - -1). Let n be (-11)/(-473)*(1 - d). Which is greater: n or 0?
n
Suppose 2*c - c - 26 = 0. Let w be (-2)/((-28)/c + -3 + 4). Let y(t) = 12*t + 1. Let p be y(2). Which is smaller: p or w?
p
Let w be (-4)/16*(-24 + 22). Let a = 0.11 - 4.11. Which is smaller: w or a?
a
Let t(m) = 2*m**2 - 29*m + 38. Let v be t(13). Is v at most 7/57?
True
Let x = 42 + -42. Let g be (-20)/(-30) - 29/39. Is x < g?
False
Let z(j) = 24*j**2 - 381*j - 20. Let w be z(16). Is w less than 44?
True
Let b = -110 - -109. Is 2/5 greater than or equal to b?
True
Let s = 1852 - 1864. Which is smaller: 12/5 or s?
s
Let m be -11 + (-19960)/(-6652) + 8. Does -1 = m?
False
Let x be 296/(-76) + (-40)/380. Is x smaller than -48/13?
True
Suppose -28*z = -7*z. Is z >= 2/7?
False
Let t be (84/6)/((-9)/(-23)). Is 36 at most as big as t?
False
Let w = 408 + -409. Which is smaller: -0.337 or w?
w
Let g = -4.89 + -1.41. L