0.1?
u
Suppose -5*d + 3*b + 33 = 95, -3*b = -d - 22. Let r be 140*4/(-2 - d). Let f be 144/r - (-3 - -5). Is f smaller than 1?
True
Let n = -2766/13 + 212. Let s = 37/65 + n. Let y = 24 + -24. Which is smaller: s or y?
s
Let b be (-3)/(6 - 9)*9. Which is bigger: b or 14?
14
Let k be (-3)/(-1) + 33 + 1. Let f = -817/22 + k. Is 0 less than f?
False
Let p = 721 - 720. Let z be -3 - (8/(-3) + -1). Is p <= z?
False
Suppose 3*a + 3*p + 54 = 0, -3*a + a + 3*p = 31. Are a and -88/5 nonequal?
True
Let t = -113 - -115. Suppose -t*z = 9*z - 2*z. Is 6/5 at least as big as z?
True
Let w = 4/93 - -457/186. Let u = 4 - 8. Let b(o) = -o**3 - 3*o**2 + 4*o + 4. Let g be b(u). Is g at most as big as w?
False
Let b(y) = 2*y + 2. Let m be b(-1). Is 3/770 not equal to m?
True
Suppose 41 = -4*m + 17. Let r = m + 4. Which is bigger: r or -8/9?
-8/9
Let m = 462 - 507. Which is bigger: m or 9?
9
Suppose -s - 3*t + 2 = -2*s, -6 = -4*s + 5*t. Suppose c + 5*y = 5, -s*c + 0*y - 22 = -y. Let n be (-2 - 1)*c/3. Is n less than 1?
False
Let m(i) = i + 2. Let g be m(-20). Is 0 greater than g?
True
Let u = -84 + 97. Let v be (-68)/(-18) + -17 + u. Is v at least 1?
False
Let i = 22 + -15. Let j = 2/3577 + 26570/3577. Which is bigger: j or i?
j
Let k(c) = c + 19. Let z be k(-18). Let v = 91495/78 + -1173. Is z < v?
False
Let f be ((-18)/(-189) + 3/(-7))*-213. Which is greater: f or 72?
72
Let x be (-7 + 216/30)*5. Is 4/5 <= x?
True
Let o(l) = -3*l + 69. Let g be o(8). Which is smaller: 134/3 or g?
134/3
Let o(d) = d**2 + 3*d - 6. Let p be o(3). Are 10 and p unequal?
True
Let c be (-3 + (-166)/(-54))*(-30)/(-35). Which is greater: c or -1?
c
Let p be ((-63)/(-6))/7*(-4)/69. Let n = -199/92 + p. Is -3 at most n?
True
Let h = -10.1 + 10.154. Which is smaller: -1 or h?
-1
Let r = 5 - 3. Suppose 0 = -3*y + b, y - r*b = 2 + 3. Let x = 9/5 + -68/35. Which is bigger: y or x?
x
Let r = 377 - 377.02. Is r less than -7?
False
Suppose 0 = -3*a + 6 - 9. Which is smaller: a or -3/2?
-3/2
Let g = -3/184 - -6823/920. Are 7 and g equal?
False
Let u = 19 - 21. Let o = -14 - u. Is o <= 0?
True
Suppose -3*x + 12 = -2*d, -5*d - x = -0 - 4. Let l(g) = g**2 + 8*g + 10. Let t be l(-7). Let z = t + -3. Is d less than z?
False
Let c = -1314/299 - -25/23. Let m = c + 98/65. Is -2 at most m?
True
Let k(o) = 34*o**3 - o. Let d be k(-1). Let g be (d/(-22))/(2/(-12)). Let i be 26/g + -8 + 11. Does i = 0?
False
Let x = 9 + -7. Let o be (-2)/(1/(-6)*-4). Let i be o - 4/24*-14. Is x at least i?
True
Let r = 2453 - 2453. Suppose 0 = m - 3*m + 94. Do m and r have different values?
True
Let l = 499 + -499.5. Let j = 7 + -6.92. Which is greater: l or j?
j
Let j = -114.95 + 120. Let v = -10 + 15. Let d = j - v. Which is smaller: d or 2?
d
Let h be (390/130)/(6/(-4)). Suppose 0 = -4*n - 79 + 11. Is n at least as big as h?
False
Let k(r) = -23*r - 233. Let s be k(-15). Are 113 and s unequal?
True
Suppose 8*w - 360 = -56. Which is greater: 37 or w?
w
Suppose 4*g + 2 = 2*r - 2, 0 = 2*g - 2*r - 2. Let f be 20/15*g - 0. Let a be ((-32)/(-36))/f + 0. Which is smaller: a or 1?
a
Let t be 10/(-4) - (-7567)/3036. Are 0 and t equal?
False
Let p be 118/531 + (-194)/(-18) + -3. Which is bigger: p or 41/5?
41/5
Let a = -0.107 + 5.047. Let u = a + 0.06. Let p = u + -5. Which is greater: -13 or p?
p
Let n = 7 - 28. Let j = n - -25. Suppose 4*y - j*m - 12 = -5*m, -3*m = 5*y - 8. Is y greater than or equal to 4?
True
Let r(q) = -q**2 + 9*q + 33. Let d be r(0). Is -0.12 greater than d?
False
Let r = -13 + 21. Let h be (4/(-4))/1*r. Let q(p) = p + 8. Let w be q(h). Are -6/7 and w equal?
False
Let y be (-12 - -5) + 67/(-17). Which is smaller: -10 or y?
y
Let i = 482 + -478. Let b = -8 + 11. Suppose -x + b + 0 = 0. Which is bigger: i or x?
i
Suppose 0 = 8*s + 16 - 208. Which is smaller: -11 or s?
-11
Let w = -179.168 + 3.468. Are w and 0.1 unequal?
True
Let u be 10*(0 + -3)/(-6). Suppose 2*y - y - 25 = -u*j, -20 = -4*j + 4*y. Suppose 4*l - 2*g - 28 = -g, j*g - 20 = 0. Is l bigger than 8?
False
Suppose -4*i - 8 = 0, 7*k - 4*k - 2*i - 4 = 0. Is -1/15 greater than or equal to k?
False
Let y(j) = -j**3 + 16*j**2 + 4. Let t be y(16). Suppose -57 = -t*l - w, 2*l - 3*w - 40 = -1. Which is smaller: l or 0?
0
Suppose 12*y - 16*y - 24 = 0. Let a(j) = -2*j**2 - 16*j - 21. Let w be a(y). Is 3 equal to w?
True
Suppose -6*h - 35 + 41 = 0. Let i be -2*(2 + -1) + 2. Suppose 4*r - 4 + 0 = i. Is h greater than or equal to r?
True
Suppose -2*c + 3*v + 55 = 0, -53 = -0*c - 2*c + 5*v. Let a = -22 + c. Let r = 2 + a. Do r and 6 have the same value?
False
Let g = -28 - -15. Let t = 1 + g. Let s = t - -12. Which is greater: -8 or s?
s
Let y(m) = m**3 - 5*m**2 + 6*m - 3. Let h be y(4). Suppose h*o - q = -120, -5*q - 37 = o + 13. Let z = o + 27. Is 4/3 > z?
False
Suppose 0 = -4*s + z + 2, 10*z - 11*z + 3 = s. Which is greater: 519 or s?
519
Suppose 7626 + 899 = -25*g. Does g = -341?
True
Let i = 2924.7 - 2925. Let d = 10.5 - -3.5. Which is bigger: i or d?
d
Suppose -4*w = -5*w - 114. Let s = -1712/15 - w. Is -2 equal to s?
False
Suppose -b - 6 = -15. Let r(t) be the first derivative of -5*t**2/2 + 73*t - 46. Let h be r(13). Which is smaller: h or b?
h
Let t be 2/17 + (25084/68 - 0). Which is smaller: 0 or t?
0
Let b = 106 + -32. Let d = b - 73. Which is smaller: -0.2 or d?
-0.2
Suppose -1635*y + 638 = -1624*y. Is 54 > y?
False
Suppose 2*w = -3*o + o + 12, -o = -5*w - 6. Let r(a) = -a**2 - 14*a + 99. Let i be r(-19). Is o at most as big as i?
False
Let u = -203 - -203.3. Is -0.06 less than u?
True
Let y = 279 + -278. Is y <= -146?
False
Let o be 23/((-552)/(-16))*(-6)/4. Is o greater than -3/41?
False
Let i = 346 + -346. Is i != 20/37?
True
Let i = -906 - -1217. Which is bigger: 312 or i?
312
Let v = -2.59 - -0.19. Let q = 4.7 + v. Do -2/7 and q have different values?
True
Let b(c) = c**3 + c**2 + 2*c + 2. Let d be b(-2). Let i be (-12)/d*(-2 + 18). Is 32 at most as big as i?
True
Suppose 2*d = 3*d - 2. Suppose d*y + 3 = 5. Let m = -3.07 + 0.07. Is m less than y?
True
Let o = 20 - 36. Let q = o - -16. Is q greater than or equal to 3?
False
Let f = 67 + -67. Suppose -4*w - 15 = -5*p + 11, f = w - 1. Is p not equal to 6?
False
Suppose -5*c - 1 = -1. Let z be (3 - (-82 - -5)) + c. Is z at most 81?
True
Suppose -9 = 5*z - q, -2*z - 2*q = q - 10. Do -24/127 and z have the same value?
False
Suppose 5*l = -59 + 14. Let b be 3/l*(0 - 3). Which is bigger: b or -1/8?
b
Suppose -2*x + 16 = 2*x. Suppose 2*v + x = 6. Is 3/10 equal to v?
False
Let y = 16 + -18. Let p be y/2*(-9)/39. Which is greater: p or -1?
p
Let y = -22 - -108/5. Is y smaller than -110/3?
False
Let z be ((-60)/(-210))/((-797)/(-7)). Which is greater: 0 or z?
z
Suppose 17 = 4*w - 3. Suppose -25 = 5*k, 2*n - w*k - 15 = 10. Which is smaller: n or 1/98?
n
Let a = -54 + 51. Let q(l) = l**2 - 2*l - 1. Let j be q(2). Let b = j + -2. Is b at most a?
True
Let w be 2/7 + (-13)/(91/(-264)). Is w > 3?
True
Let m be (49/(-14) - -3) + (-44)/(-56). Does m = 61?
False
Suppose -3*k = -4*x - k + 64, -k = 4*x - 64. Suppose 0 = -s - s + x. Let w be ((-2)/4)/((-14)/s). Is w at least 5/3?
False
Let q(y) be the second derivative of y**3/6 + 3*y**2/2 + 12*y. Let m be q(-1). Let b = 1.8 + -2. Is b smaller than m?
True
Let w be (0 + (-2)/(-4))*-8. Suppose 2*z = -2*t + 5*z + 32, -7 = -t - 3*z. Let l(x) = x**3 - 12*x**2 - 12*x - 17. Let y be l(t). Is w > y?
False
Let d = 1218 + -1218. Is d at most as big as -5/96?
False
Let x = -47 - -45. Is x > 82?
False
Let x = -2.2 - -18.2. Let j = 16 - x. Let q = 0 + -0.03. Which is bigger: j or q?
j
Let z be 5956/(-28) - (8/7)/4. Is z less than or equal to -213?
True
Let a = -5.53 + 0.63. Let u = 4.8 + a. Which is greater: u or -2/27?
-2/27
Suppose 24 = 8*u + 8. Let q be 153/15 + u/(-10). Does 11 = q?
False
Let k = 341/1413 + -3/157. Which is greater: k or -4?
k
Suppose -45 - 54 = -3*z. Suppose -3*k - 31 = r, -z = 6*k - k - 3*r. Which is smaller: -8 or k?
k
Let b = 41/27 + 73/432. Which is bigger: 2 or b?
2
Let j(m) = -m**3 + 12*m**2 - 11*m + 1. Let k be j(11). Let p be (23/7 + -3)/k. Which is bigger: 0 or p?
p
Let t = -34 + 24. Let s = t - -9.9. Suppose 1 = -3*x - n - 22, -2*n = -8. Which is bigger: s or x?
s
Suppose 0 = 4*w - 83 + 87. Let h = w - -7/5. Which is smaller: 22/5 or h?
h
Let l = -2