6)/(-42) + (-2)/(-7). Which is smaller: b or 1?
b
Let q be -2 + (-123)/9*-3. Suppose -q*z = -34*z + 20. Is -20 bigger than z?
False
Let i = -3386 - -623027/184. Let f = 873242783/717946840 - 1/780377. Let v = i - f. Which is bigger: 0 or v?
0
Let k = -47.0287 + 47.1. Let n = 0.0287 + k. Which is smaller: n or 126?
n
Let t = -504 - -374. Let j = t - -129.9. Which is smaller: j or 71/7?
j
Let v = 36.9 - -115.1. Let k = -616.1 - -616. Which is greater: v or k?
v
Let q = -87 - -43. Let x = 36033.8 - 36035.8. Which is smaller: q or x?
q
Let n be (-2)/(-4) + 165/20. Let c = n - 237/28. Let v = 6 - 7. Which is smaller: v or c?
v
Suppose -3049 = -151*l - 1297 + 3835. Which is smaller: 652/17 or l?
l
Let l be (-18)/(-14) - (7 + -4). Let t = 35 + -36. Which is smaller: t or l?
l
Let l(j) = -5*j - 12. Let q be l(-8). Let i be ((-40)/120)/(6 - 511/84). Which is bigger: i or q?
q
Let b = 4803.0052 - 4803. Do b and 0.3 have the same value?
False
Let u = 165 + -156.7. Let x = 8.26 - u. Is x greater than or equal to 1?
False
Let p = 81 + -77. Suppose -p*i + 170 = -u, 0*u = -3*u + 6. Let t = 218/5 - i. Which is greater: 1 or t?
1
Let t(v) = v**2 - v + 19. Let d be t(0). Suppose 0 = -37*u - 16 - 4 - 54. Which is greater: d or u?
d
Let g = 209 - 182. Suppose 4*o + 28 = -3*l + g, -2*l = -5*o - 7. Which is bigger: o or 1/25?
1/25
Let v = -2324/9 - -2318/9. Let g = -90 + 30. Which is smaller: v or g?
g
Let a be (-1 + 4)*88/66. Suppose -2*g = 5*s + 2*g + 196, 4*s = a*g - 128. Which is smaller: s or -35?
s
Let m be (-18 - -18)/(-5) - (-3)/(-81)*-928. Which is smaller: m or 34?
34
Let l(w) = -w**2 + 14*w - 37. Let t be l(10). Suppose t*n + 75 = 48. Is n > 6?
False
Let r be (8/2)/((152/57)/(-4)). Is -144 smaller than r?
True
Suppose 31*w + 42 = 38*w. Suppose 4*q = -4*r, 3*r = w*q - q. Are r and 11/19 nonequal?
True
Let a = 1 - -2. Suppose -3*k - a = -4*k - 2*i, 4*i = 2*k - 22. Let o be 45/12*(-300)/(-125). Is o <= k?
False
Let b be ((-95166)/7327 - -13)/((-3)/9). Are b and 1 equal?
False
Let n(v) = -10*v - 40. Let f be n(-15). Let t = f + -93. Is t not equal to 15?
True
Let d(z) = 136*z + 2. Let l be d(-1). Let r = l - -130. Let f be 7/((-154)/r) - 356/22. Is -16 < f?
False
Let a = 0.19 + -8.19. Let s = -120 + 116. Let p be 2/s*(-14)/28. Is p != a?
True
Let a = -2 + 4. Suppose -s + 3*h = -a*s + 16, 3*s + 7 = 2*h. Let d = -3412/5 - -682. Is s at most d?
False
Let t(h) = -3*h - 25. Let g be t(-10). Let f be g/((-25)/10)*13. Let o = f + 25. Which is smaller: -79 or o?
-79
Let h(p) = 87*p - 1475. Let q be h(17). Which is bigger: q or 97/25?
q
Let u(b) = 18*b + 228. Let m be u(-12). Suppose 308 = -m*r - 280. Are r and -46 equal?
False
Suppose -3*x - 8*x + 11 = 0. Let u be x/(337/(-1350)) + 4. Does 1 = u?
False
Let k be (20/10 + (-18956)/9476)/((-2)/4). Is k greater than or equal to -1?
True
Suppose 5*q - 293 = -n, 3*n + 5*q - 475 = 414. Is 292 > n?
False
Suppose 2 + 10 = 2*v. Let n be v/4*(-4)/(-66). Suppose 115*k - 176*k - 61 = 0. Is n <= k?
False
Suppose -3*i - 12 = l - i, 4*i + 14 = 3*l. Let h = 0 - -30. Let f be 97 - (l/(-3))/((-5)/h). Do 102 and f have the same value?
False
Let a = 9267 - 8455. Is a >= 816?
False
Let f = -2142.48 + 2142. Which is smaller: f or -1/6?
f
Let z be ((-4)/15510)/(-17 - (-212)/12). Which is smaller: z or -1?
-1
Let t = 5813 - 5790. Which is smaller: t or -10?
-10
Suppose 15 = -0*c - 5*c. Let f be ((-360)/(-216))/(3*(-2)/18). Which is bigger: f or c?
c
Let q = -340 + 337. Let j be q/(0 + 93)*44/1298. Which is smaller: 0 or j?
j
Let f = -65791/394674 + 2/65779. Suppose -7*v + 2*v = 0. Suppose u - 3*u = 3*c + 8, v = u - 2*c - 3. Which is smaller: u or f?
u
Let y be 2478/15 - (-6)/(-30). Let j = y + -126. Suppose -162 = j*n - 33*n. Are n and -29 nonequal?
True
Let r(d) = -d**2 - 24*d + 180. Let c be r(6). Suppose c*y - p = 3*y + 554, -3*p + 3 = 0. Which is smaller: -186 or y?
-186
Let t be (-1078)/(-1344) + (-3)/9. Suppose -21 = -2*n - 23. Are t and n nonequal?
True
Suppose 0 = 4*r + 18*a - 21*a, 3*a + 12 = 2*r. Is r less than -7?
False
Let r = -116723/13 - -8982. Which is bigger: r or 0?
r
Suppose -28*f - 5*i + 33 = -29*f, 2*f + 5*i + 126 = 0. Let h be 8/(-20) + 5/(675/24). Is f at least as big as h?
False
Let c be ((-16)/132)/((-1)/(27/(-18))). Let y be 4/(-6)*(-21)/(-14). Which is smaller: y or c?
y
Let d(s) = -s**3 + 10*s**2 + 11*s + 6. Let t be d(11). Let r be t + 1041/(-150) + 1. Which is greater: r or 1?
1
Let y = -14 - 3. Suppose w - 4*w = 4*c - 15, 5*c = 0. Suppose -2*p - 4*i = 3*p + 102, p + w*i = -33. Does y = p?
False
Let t = -18524 + 18311. Which is greater: t or 5?
5
Let c = -8897 - -8036. Which is greater: c or -1/34?
-1/34
Let u(p) = p**2 - 19*p - 38. Let i be u(21). Suppose 4 = -i*m - 12. Let q be 0/(2/(m - -2) - 1). Which is smaller: -2/13 or q?
-2/13
Let l(v) = -v**3 - 40. Let r be l(0). Let g be (98 - (-21660)/(-200))*(3 - -1). Which is smaller: g or r?
g
Let q = -17101 + 16537. Which is greater: q or -2826/5?
q
Suppose 4*g - 10 = 2*g + 5*j, -2 = -3*g + j. Suppose g = -b + 13*b - 192. Suppose 4*i + 48 = 4*d, 0*d + 2*i + 38 = 3*d. Which is greater: d or b?
b
Let p = 7 + -7. Let q be 592/18*23/(-69). Let t = q - -98/9. Is t > p?
False
Let v = -54.8 - -53.8. Which is greater: -1.51 or v?
v
Suppose -y - 274 = -6*y - 3*w, 0 = -3*y - 3*w + 168. Suppose 61*x = y*x. Is x at most -2/733?
False
Let i(z) = 168*z**2 - z. Let d be i(-1). Let s be (-29 + 35 - 2314/(-14)) + -2. Let f = s - d. Which is bigger: f or -19?
f
Let y(f) = f**2 - 7*f + 5. Let x be y(6). Suppose 3*p + 3 = z + 2, 0 = p + 4*z + 22. Let m be p + ((0 - 1)/x)/1. Which is smaller: m or -2/47?
m
Let t = -3.53 + 482.53. Let k = t - 466. Which is smaller: 20 or k?
k
Let p = 1370 + -1492. Let z(i) = 2*i**3 + 3*i**2 - 2*i + 3. Let a be z(-4). Let l = a - p. Is 53 greater than l?
False
Let t = 238 + -47. Suppose 0 = -3*w - t + 23. Let x = 55 + w. Which is smaller: x or -2/241?
x
Suppose 38 + 46 = 2*n. Suppose 9*f - 3*f = -n. Let y = 27 - 36. Is f equal to y?
False
Suppose n + z - 506 = 0, n + 2*n + 2*z - 1519 = 0. Let t = -19775/39 + n. Which is bigger: t or 0.1?
0.1
Let d(q) = -q + 51. Let u(t) = -25. Let x(a) = 2*d(a) + 5*u(a). Let h be x(-12). Does -2/133 = h?
False
Let y be -1 - (2 - 258/(-9)). Let l = y - -31. Let j be (1 + -1)/(5 + -6). Is l greater than j?
False
Let z(u) = -u - 4. Let b be z(-6). Suppose v + 3*v = 5*v. Suppose v = 3*d - b*d + 4. Which is smaller: -3 or d?
d
Suppose 2*b - 11*b = -27. Suppose -b*g + 5*o = -367 + 72, 2*g = -3*o + 165. Suppose -6*z = 54 + g. Is z < -24?
False
Let u be (2/(-8))/(5*10/200). Let z be 180/95 + 0 + u + -1. Which is smaller: z or -0.01?
z
Suppose 0 = 23*b - 61 - 54. Suppose 4*o - 18 = -2*f, -b*f = -3*o - 5 + 25. Is 0 bigger than o?
False
Let p be (97/(-194))/((-9)/(-14)). Which is greater: p or -17/5?
p
Let i = 111 + -48. Let c = -65 + i. Which is bigger: c or 4.8?
4.8
Let p be (2/(-8))/(0 + (-5)/60). Suppose p*q = -q - 3*i + 20, 20 = 2*q + 4*i. Let b be 8*2/(-4) - 0. Is q < b?
False
Let d(t) = t**3 - 5*t**2 + 6*t - 7. Let o be d(4). Let n = 457/1365 - -3/65. Let w = n - 5/21. Which is smaller: o or w?
w
Let v = 44 + -71. Let w = v - -27.06. Suppose -108 + 103 = -5*j. Do j and w have the same value?
False
Let c be -12176 + 77/88*-8. Is -12183 greater than c?
False
Let m = 87 + -30. Let y = -11 - m. Suppose b + 9 = 5*p, 0 = -2*p + 4*b + 16 + 2. Which is smaller: p or y?
y
Let y(v) = 3*v**2 + 60*v - 351. Let q be y(-25). Let d = 18 + 0. Are q and d equal?
False
Let s = 1749 + -2873. Which is greater: s or -1123?
-1123
Suppose 220 = -5*v + 4*y, -v - 30 = -3*y + 3. Let s be -1*(-20)/v - 0. Let u(o) = -6*o + 11. Let r be u(2). Which is smaller: s or r?
r
Let z = -238496266/351 - -679477. Let r = -3401/13 - -262. Let o = z - r. Is o greater than -1?
True
Let b = 0.1 - 0.2. Suppose 1689*p - 273 = 1690*p + 4*j, p + 258 = j. Is b less than p?
False
Let a(m) = 296*m**2 - 3*m - 1. Let t be a(1). Which is smaller: t or 288?
288
Suppose 0 = -3*h, o + 15 = 2*h - 26. Is -49 <= o?
True
Let u(d) = -d**2 + 13*d - 29. Let r be u(10). Let x be (-26)/168 + r + 21/(-28). Is 2/9 equal to x?
False
Suppose 4 = -5*y + 2*f, 3*y - 26*f = -30*f + 8. Let x be 1/(-3) + 18664/(-42). Let d = -444 - x. Which is bigger: d or y?
d
Let w = 20.281 + 0.719. Let o =