r and 0 equal?
False
Let u be -10*43857/66 - (-1)/1*2. Is -6645 greater than or equal to u?
False
Let t = -6269/16 + 392. Let f be (-11 - -14) + 1 + 0 + 0. Which is smaller: f or t?
t
Suppose g + 44 = 4*g - 4*f, 0 = 3*g + 5*f + 1. Suppose 0 = -g*y - 58 - 374. Let w be 38/24 + y/8 + 7. Is w equal to 3?
False
Let q = 11614 + -8007. Do 3608 and q have the same value?
False
Let t = 0.05 + -0.08. Let q = -6.65 + 6.52. Let r = q - t. Which is greater: 0.032 or r?
0.032
Let k = -657 - -720.2. Let m = k - 63. Do 0.04 and m have the same value?
False
Suppose -a = -3*c + 2, 4 = 8*a - 7*a. Which is bigger: 70/37 or c?
c
Let w = 573 - 577. Let k = -0.59 + 0. Let n = -0.09 - k. Which is greater: w or n?
n
Let c = -4/245 - -257/735. Is 5015/3 <= c?
False
Suppose 3*o + 47 = -106. Let s be (-310)/6 + 1 - (-16)/(-12). Are o and s unequal?
True
Suppose -5*n + 3*w = -4*n, n = -4*w - 7. Which is smaller: -166 or n?
-166
Let a = -6153 - -6152. Which is bigger: a or -3/6632?
-3/6632
Let d be 8/(-74)*(-23)/(-46). Let o = 895 - 896. Is o at most as big as d?
True
Let y be 23202/129426 - (-4)/(-22). Let h = y - -5177/492211. Is h != 1?
True
Let m be (0 - -3) + 203 + -16 + 1. Suppose d = -4*z - m, -z - 3*d - 1 = 55. Is -50 at least as big as z?
False
Suppose -4*g - 21 = -5*r, 0 = -5*g - 4*r - 8 - 8. Let q be 8/2*(-138)/(-8). Let y = q + -64. Which is smaller: y or g?
g
Let i(j) = 3*j**2 + 36*j - 29. Let h be i(-13). Suppose -263 + 953 = h*o. Is o <= 66?
False
Let g = 0.07203 + -0.05203. Is -40 < g?
True
Let b(v) = -v**3 - 18*v**2 - 76*v - 32. Let p be b(-12). Is -2 less than p?
True
Let z = 648.3 - 665.3. Is 2/479 > z?
True
Let j be 497*15/((-105)/49). Which is smaller: -3480 or j?
-3480
Let l be 1*((6 - 2) + -1 + -20). Let q(a) = -6*a + 13. Let w be ((-5)/4)/(27/4 + -7). Let g be q(w). Is l bigger than g?
False
Suppose -5*b = -3*i + 34, 88*b + 2*i - 22 = 91*b. Let x be (-1)/2 - (-17)/(-26). Is x not equal to b?
True
Suppose k - 3 = 2*j, -4*k = 5*j - 6*j - 5. Let f be (3076/3072 + -1)/(2/3). Let v = f - -3055/8704. Is v >= j?
True
Let o = -32 + 68. Let t = -5 + o. Is t at least as big as 7?
True
Let r = -149 - -167. Let w be 112/r - 6 - 4/18. Is 4/91 greater than or equal to w?
True
Let x = 14.02 - 0.92. Let h = -15.1 + x. Which is greater: h or 12/5?
12/5
Let c be 3/(-207)*5/10. Let w be 0 - -3 - 8/(-2)*-1. Is c at least w?
True
Let d be 1*(-2)/(-1 - -3). Let y(z) = -z**3 + 2*z + 2. Let i be y(d). Let w be (-22)/33 - 3/18*-34. Which is smaller: w or i?
i
Let v = 4 - 5. Let i be 3/(-6)*(v - 1) + 65. Suppose 2*c - 66 = -i. Does 2/35 = c?
False
Let q be 3 + (0 + -2)/(-2 - 0). Suppose -q*i = -9*i - 105. Let y be ((-9)/i)/(-3) - (-12)/(-14). Does y = -1/75?
False
Let m be (-28)/(-42) + (-50)/(-6). Let g be m*6/(-30) - -1. Suppose 0 = 6*f - f + 5. Which is smaller: f or g?
f
Suppose 0 = 5*j - 9*b - 39, 3*b + 4 + 2 = 4*j. Which is smaller: j or 110?
j
Suppose -2288 - 5334 = 72*r + 10. Is -1677/16 equal to r?
False
Let k = 18 + -27. Let f be (-2)/(-11) - (-5970)/(-165). Let h be -10 + k/(f/(-8)). Which is smaller: h or -15?
-15
Let r = 173.53 - 169.53. Let s = -0.005 + 35.005. Which is greater: s or r?
s
Let k be (-2206)/(-92) + (698 - 715). Is 7 at most k?
False
Let p be 199 - -8 - (-8 + 2). Let k = p + -196. Let y = 29 - 14. Are y and k unequal?
True
Let j = -12.2 + 1.6. Let u = -11 - j. Let v = -503/145 - -118/29. Which is smaller: u or v?
u
Let o be (-12)/(-1) + (-10)/5. Suppose -19*y + 4*t - 221 = -16*y, -2*t + o = 0. Is -68 greater than y?
False
Let z = 13758 - 13757.9. Which is smaller: 207 or z?
z
Let q(j) = j**3 - 7*j**2 + 443*j - 2179. Let t be q(5). Suppose 9 = 2*x + 4*l - 19, -l = -x - 1. Which is smaller: t or x?
t
Let m = 11988/20117 + 7781611563/3419890. Let h = 2276 - m. Which is greater: 1 or h?
1
Suppose 0 = -u + c - 47, u + c = -0*c - 39. Let h = u - -60. Suppose p - h = 4*p - 2*l, -p - 4*l = 15. Is p bigger than -9?
True
Let x be (-1980)/180 - (-1 - 11). Is x bigger than -176?
True
Let z = -71261/24592 + 84/29. Is z > -1?
True
Let m(y) be the second derivative of 7*y**3/3 + 42*y**2 - 125*y. Let j be m(-14). Which is bigger: j or -111?
-111
Let l = 74 + -133. Let q = l + 71. Suppose 7 = q*i + 223. Is -18 <= i?
True
Let i be ((-48)/(2 + -8))/2. Suppose 3*g - 2*o = -5, 3*g + i*o - 13 = 6*g. Is 6/127 at least as big as g?
False
Let b(m) = 10*m**3 + m**2 - 2*m + 1. Let z be b(-2). Suppose 3*y - 8*t + 206 = -9*t, 4*t - 211 = 3*y. Let v = y - z. Which is smaller: 1 or v?
1
Suppose 2*c + 4*w = -9716, -5*w + 24185 = -70*c + 65*c. Is -4844 less than c?
False
Suppose 181 - 486 = 19*l + 360. Are l and -390/11 non-equal?
True
Suppose 0 = u + 4*u - 5. Let x = 79/66 + -6269/4686. Which is smaller: x or u?
x
Suppose 4*c = 3*y - 1668, -11*y + 12*y - 2*c = 554. Is 549 greater than or equal to y?
False
Suppose -3*s = -5*s - 40. Let p be (-14 + 53)*8/(-15). Is p less than or equal to s?
True
Suppose 2732 = 24*w - 28*w. Let g = 881 + w. Which is smaller: -0.1 or g?
-0.1
Let m be (-4)/24 + 286/(-132) + 1/3. Let a(u) = -u**3 + u**2 + u. Let t be a(-3). Which is smaller: m or t?
m
Let r = -13 + -17. Let t = 35 + r. Suppose -w - 13 = -3*x, -t*x = -0*x - w - 21. Which is smaller: 2 or x?
2
Let l = -23866611/2977 + 8017. Is l at least 0?
False
Let s = 1652162/31 + -52942. Let p = s + -707/2. Which is bigger: p or 1?
1
Let l = -491292 + 491263. Let f = 4 - 2. Suppose 4*s + 104 = f*b - 6*b, -b - 4*s - 23 = 0. Is b smaller than l?
False
Let a = -0.9116 - -1.1116. Which is smaller: a or 470?
a
Let r be ((-6)/(-4))/(133/130 + -1). Let b be (-54)/81 + (-200)/(-3). Is b bigger than r?
True
Suppose 55*r - 92*r = -25*r + 96. Let u = -13 + 2. Which is bigger: r or u?
r
Let u = 3/5518 - 353185/60698. Is -6 equal to u?
False
Let s = 51570/22253 + 3/4046. Is s greater than -6?
True
Let v be 3*3*14/9. Suppose -7*g = -16*g - 2565. Let p = g + 1491/5. Is p < v?
True
Suppose 5 = 6*w - 67. Let f be (2/w)/((-3)/((-60)/(-7))). Is -1 not equal to f?
True
Suppose -5*j = 2*h - 833, j + h - 93 = 76. Let s = 81 - -83. Is s at most j?
True
Let h(o) = -6*o**3 + 6*o**2 - 10*o - 3. Let w be h(5). Do -650 and w have the same value?
False
Let c = -7.615 + 12.942. Let v = c - 6.33. Let p = -0.003 - v. Which is greater: p or 30?
30
Let u = 2.2 - 2. Let v = -21/4 + -1021/12. Let q = 8669/96 + v. Does u = q?
False
Let b = 22845 - 23156. Which is greater: b or 1/8?
1/8
Suppose -149526 = 59*j - 140*j. Which is bigger: 1844 or j?
j
Suppose 0*j + 534 = 6*j. Suppose y + 2*k = -117, -5*k - j - 481 = 5*y. Which is greater: y or -108?
-108
Suppose 4*f + 181 + 403 = 0. Suppose 3*p + 1925 = 1490. Which is smaller: f or p?
f
Suppose 0 = -2*x + 6*x + 5*g - 12, -3*x + 4*g = -9. Suppose -p = -x*v - 131, 0 = -11*p + 8*p + 15. Which is smaller: v or -40?
v
Suppose 0 = 5*c + b + 435 + 945, 1400 = -5*c + 3*b. Let x = c + 202. Is x > -74?
False
Let b(h) = -h**2 + 8*h - 9. Let y = 85 - 68. Suppose 5 = y*x - 16*x. Let p be b(x). Which is smaller: 9/2 or p?
9/2
Let x be 74/(-12) - (-5)/30. Let g be ((-45)/x + -5)*914/(-10). Let y = -241 - g. Which is greater: y or -14?
y
Let z be (-40)/(-50)*(-1)/3*195/(-182). Which is bigger: 9147 or z?
9147
Suppose -54*n - 3118 = 11246. Which is smaller: n or -270?
-270
Let l = 109/56 + -23/8. Is -6 greater than or equal to l?
False
Let b = -9415 - -8909. Which is greater: b or -12?
-12
Let m = -78.7 - -78.7. Let l = 126.87 + -128. Let w = l - -0.13. Which is smaller: m or w?
w
Let q be (-1312)/6*(-756)/9744. Which is greater: q or 18?
18
Let t = 0.44 + -0.326. Let r = t - 0.314. Let z = 0.05 - 5.05. Is z != r?
True
Let m = 423/793 - 8/13. Which is greater: m or -1?
m
Let l = 10982/161 - 1582/23. Is l > -0.0116?
False
Suppose -5*h - o = 1946, 5*h - 5*o + 643 + 1267 = 0. Is -382 at most as big as h?
False
Let j = -4.741 + 4.951. Which is smaller: j or -0.37?
-0.37
Let b = -1698 + 1743. Which is bigger: -2/37 or b?
b
Let f = -8793.5 + 8856. Is -25 not equal to f?
True
Suppose -4*d - 2*a - 374 = 0, -3*a - 264 = -5*d + 8*d. Let t be (95/(-4))/((-2)/(-8)). Which is smaller: d or t?
d
Let f = 10128 - 212642/21. Is f < 1?
False
Suppose 351*b = 394*b - 43. Which is bigger: b or -1/5282?
b
Let a be (-1174)/(-18)*-1 - (-8)/36. Let o = a + 48. Let x(y) = -y**3 - 18*y**2 - 19*y - 36. Let j be x(o). Are j and -