o be d(-11). Which is smaller: 2/115 or o?
o
Let o = 1.1 - 0.7. Let j = -2.6 - o. Let l = j - -1. Which is bigger: 0.1 or l?
0.1
Let w(l) = -l**2 + l + 2. Let c be w(3). Is c bigger than 17?
False
Let l = 926 - 928. Which is smaller: l or 3/23?
l
Let s = 41/61 - 1/183. Which is smaller: s or 92?
s
Suppose -k + 10 = -3*g, 3*k = k - 4*g - 20. Let s = 74 + -52. Let l be -4 + 1 + -3 + s/6. Is l greater than k?
False
Suppose 0*b - 120 = 5*b. Let j = 25 + b. Suppose 4*h + 3 = -3*c, 2*h + 3 + 0 = -c. Is j <= h?
False
Suppose 0 = 948*s - 945*s - 6. Which is greater: -13.8 or s?
s
Let j be (0 + 1 - 2) + 20/4. Which is greater: 36/13 or j?
j
Let n = 64.754 - 65. Let p = -9.654 + n. Let x = 10 + p. Which is bigger: x or 3?
3
Suppose -3*y = 3, -y + 292 = 5*c + 2*y. Let t = -40 + c. Is t <= 21?
True
Let a(g) = -g**2 - g + 64. Let u be a(0). Let s = -531 + 533. Suppose r - 2*y - 2 = -6*y, -3*r - u = -s*y. Is -19 bigger than r?
False
Suppose -10*d = -42*d + 3232. Is d less than or equal to 100?
False
Let n = 629 - 3775/6. Which is bigger: 5 or n?
5
Let u be 4 - (-2 + 6 + -3). Suppose -21 + 70 = -5*z + u*f, -5*f = -5*z - 55. Let m be z/(-14) + (-12)/42. Is 2/9 at most m?
True
Let i = 19.5 + -19. Is 4/7 at most as big as i?
False
Suppose -27 - 10 = -3*f + 4*h, 0 = -f - 4*h - 9. Which is smaller: -1/3 or f?
-1/3
Let n = 69.9 - 70. Let m = 17/207 - -2/69. Are n and m equal?
False
Let v(w) = 4*w + 102. Let l be v(-32). Which is smaller: l or -8?
l
Let f(z) = 2*z + 12. Let n be f(-5). Suppose -p - g = -6*g + 21, -n*p = 5*g - 33. Is p greater than 4?
False
Let o(b) = -5*b - 6. Let s be ((-6)/4)/(2/4). Let d be o(s). Is 9 < d?
False
Suppose -126*z + 125*z + 34 = 0. Is 36 at least z?
True
Let q be (-67 + -1)*(4 + -3). Let p be (-1)/(-4) + q/400. Let u = -1208 + 1207. Which is smaller: u or p?
u
Let g = -16361.3 - -16361. Let r = -0.2 - -0.6. Which is smaller: r or g?
g
Let b be (616/316 + -2)*(-35)/(-5). Which is greater: b or 0?
0
Let a be (-82)/((-16)/(32/(-4))). Is a less than -0.4?
True
Let b = 17 - 15.5. Let p = -0.5 + b. Let f be 4/6 + 22/(-6). Is f less than or equal to p?
True
Let i be (1 + 8)*(-58)/(-261). Which is greater: 16/9 or i?
i
Let w be (8/(-120))/((-12)/(-10)). Suppose -9 - 16 = -5*c. Let r be 10/25*c/2. Which is smaller: r or w?
w
Let s(i) = -i**3 + 9*i**2 - 14*i + 2. Let a(o) = 2*o - 25. Let b be a(16). Let y be s(b). Is 1/3 less than or equal to y?
True
Let a = -376 + 377. Which is smaller: 1/804 or a?
1/804
Let g = -23 - -19. Let a be g/16*-4 - -15. Let w be (-8)/a*4*-1. Which is smaller: w or 1?
1
Let q(f) = f**3 + 3*f + 21. Let c be q(0). Do 22 and c have the same value?
False
Let m = 1 - -1. Suppose -85 = m*n + 3*n. Let h = n + 18. Which is smaller: 2/15 or h?
2/15
Suppose 0 = -b + 4. Suppose -a = -0 + b. Let k be 2 + (-7 + 3 - a). Which is smaller: -5 or k?
-5
Let n be 12/(-15)*(-3243)/46. Which is smaller: n or 56?
56
Let z be (-10)/18*-9*-15. Which is greater: -76 or z?
z
Let v be (-6)/((-3)/1) - 5. Let f(u) = -5*u**2 - 5*u - 5. Let c be f(-2). Let a = c + 12. Is a at least v?
True
Let n = 15.16 - 16.16. Is 14 greater than or equal to n?
True
Suppose 5*q - 7*q = 3*t - 72, -q + 30 = 3*t. Which is smaller: q or 286/7?
286/7
Let g = 866 - 795. Let i = -0.7 - -0.6. Is g greater than or equal to i?
True
Let t = -246 + 737/3. Are 165 and t non-equal?
True
Let x(d) = 2 - 2*d**3 - 4*d + 3 + 0 + 8*d**2. Let j be x(4). Let s be -3 - (2 + -1 + 5). Are s and j unequal?
True
Let t = -7.252 + -0.388. Let u = -0.36 + t. Which is bigger: u or 0?
0
Let g = 0.116 - 0.316. Is 36 not equal to g?
True
Let q = -704/410781 - 6/4417. Which is smaller: q or 0?
q
Suppose 110*l - 1 = 109*l. Suppose -5*k = q - 6 + 81, 0 = 4*q + 5*k + 240. Let a be q/462 + (-4)/(-14). Is a at least l?
False
Let q = -13 + 12. Let u = 1.34 + -1.35. Which is bigger: q or u?
u
Let c = 4 - 2. Suppose u + c = -12. Let j be (-25)/u*28/35. Which is smaller: 1 or j?
1
Let r = -43.64 + -0.36. Let v = -23 - r. Which is greater: v or -1?
v
Let d be (-24 - -11) + 0/1. Let s = 28 - 43. Which is smaller: s or d?
s
Let w(o) = o - 6. Let s be w(4). Let x be -5*s/(6/(-1)). Let k = 504 - 507. Which is smaller: x or k?
k
Let b be (-5)/(-3) + 2/(-3). Let f be (-2)/2*(-1)/b. Let h = -20188 - -423944/21. Is f >= h?
True
Suppose -148*a = -147*a + 11. Is -15 at least as big as a?
False
Let f be ((-65)/(-10) - 7) + (-7)/2. Let o be (1*-1)/((-2)/(-214)). Let g = o + 207/2. Does g = f?
False
Suppose -3*m - 257 = -5*r, 5*r - 207 = 2*m + 51. Which is smaller: 57 or r?
r
Let b = 16 - 8. Suppose b*u + 89 - 313 = 0. Is 27 equal to u?
False
Suppose -44 + 14 = 2*j. Suppose -2*n + 33 = 1. Let c = j + n. Is 0 at least c?
False
Let m(p) = 77*p**3 - p**2 + 2*p + 2. Let g be m(-1). Which is bigger: g or -77?
-77
Suppose -7*z + 141 = -6. Which is bigger: 24 or z?
24
Let f = -497.281 + 498. Does f = -0.1?
False
Suppose -2*a + 164 = 4*m, 3*m - 192 = -m + 5*a. Is m at least as big as 41?
True
Let f = -31/127 - -3494/15875. Let t = f + -229/875. Is 0.1 greater than or equal to t?
True
Suppose -5*m = -0*m - 25. Let a(z) = 2*z**3 - 16*z**2 + 7*z + 11. Let h be a(8). Let s = h - 61. Which is smaller: m or s?
m
Suppose 0 = h + 5*y - 0*y + 17, 3*h = 5*y + 29. Suppose -5*m - h*t = -t + 16, 4*m + 18 = t. Which is smaller: -7 or m?
-7
Let f = 489 - 503. Let p = -1.6 - 0.4. Which is bigger: p or f?
p
Let s = 707/520 + -18/13. Which is smaller: s or -1/4?
-1/4
Let w be (-18)/27*(-3)/(-2). Let m = 343/3 + -114. Which is bigger: w or m?
m
Suppose 3*x - 5*b - 8 = -38, 3*b + 1 = -2*x. Suppose q = -3*l - 0 + 6, 3*q - 8 = l. Which is smaller: x or l?
x
Let s be 3*((-66)/18 - (-4 - 0)). Which is smaller: 3/34 or s?
3/34
Let n = 0.24 + -12.24. Let v = -11.83 - n. Which is bigger: 2/3 or v?
2/3
Suppose -8*x + 12 = -20. Suppose -4*d - 12 = x*z, 2 = z + 4. Which is bigger: d or 4/9?
4/9
Let l(k) = 35*k + 104. Let a be l(-3). Is -2/39 less than a?
False
Let g = -4 - 4. Suppose -15*o + 0*o = 135. Is o != g?
True
Let d be 15*(-3)/(-9) + 0. Suppose -p - 9 = 5*f, -2*f + p = -d*f - 5. Is -1/2 equal to f?
False
Let p = 4.306 - 4.4. Let i = p - -0.094. Which is smaller: i or 24/5?
i
Let l(u) = 150*u - 8. Let d be l(0). Let h = -6 + 4. Let k = -7 + h. Are k and d equal?
False
Suppose -6*m - 17 = 7. Let i(z) = -7*z**3 + z**2 + z - 1. Let d be i(1). Is m greater than d?
True
Let a = 32/7 - 185/42. Let v(u) = -u**2 - 7*u + 9. Let c be v(-8). Is a greater than or equal to c?
False
Let m(y) = -3*y - 25. Let z be m(-4). Let d be ((-1)/z)/((-124)/20 - -6). Which is bigger: 1 or d?
1
Let p = 1751203/65 + -26941. Is p smaller than 0?
False
Let i be (0 - (1 - 0)) + 17. Let g be i/(-84)*1*3. Suppose -11*f - 2 = -10*f. Which is smaller: f or g?
f
Let o = -91.6 + -24.4. Let p = o - -118. Which is smaller: p or 3?
p
Let l(z) = -2*z**3 + 10*z**2 + 4*z - 17. Let k be l(5). Suppose -6 - k = n. Suppose 3*c + 0*c + 27 = 0. Is c != n?
False
Let a = 0.9363 - -0.0637. Let h be (-4)/(-30) + -2 + 2. Is h smaller than a?
True
Suppose -8*u = -5*u - 60. Let r be ((-2)/54)/((-4)/u)*-1. Which is bigger: 0 or r?
0
Let j = -4 - -6. Let y = -2698 + 2704. Which is smaller: y or j?
j
Suppose -3*t = 5*r - 2, 4*t + 2 = -r - 1. Suppose -5*c - 5*a = -10*c - 20, 5*a = 0. Is t <= c?
False
Let v be (40/180)/(23/(-30)). Is 0 >= v?
True
Let p = 10461 + -941513/90. Let f be ((-1)/(-12))/(15/(-6)). Let a = p - f. Is 0.1 less than a?
False
Suppose -12*x + 2347 - 18259 = 0. Is -1325 less than x?
False
Let m(p) = p**2 - 10*p + 11. Let i be m(9). Let a be i/(-9) + (-909)/(-1053). Let s = a + 1/39. Is 1 smaller than s?
False
Suppose 4*q = -0*q - 16, -2*z = 5*q + 18. Do -45 and z have different values?
True
Suppose 4*m - 2*r = -1 + 27, 1 = r. Suppose -2*i = -m*i - 5. Is i at most -2?
False
Suppose 25 = 5*o - 0*o. Suppose -k + o*k = 0. Let l = 182 + -548/3. Do l and k have different values?
True
Suppose 23 + 1 = 4*v. Let l = 222 + -135. Let m be -1*4*l/(-58). Are v and m equal?
True
Let n = -265 - -410. Let q = n + -141. Is q != -5?
True
Suppose 6*m = -3*y + 7*m + 6, -y = -2*m + 3. Suppose 4*l + 21 = -4*f + 3*f, -2*f = -l - y. Do f and -3/11 have the same value?
False
Let r = 1266 - 1246. Does r = 0.08?
False
Let u = 88 + -438/5. Let d = 88 + -87.93. Is u greater than or equal to d?
True
Let g = 97 - 97