 Let a be t/(-1) + 1/(1/(-2)). Is a > -1/9?
False
Let d be ((-54)/15)/(((-50)/(-5))/(-1200)). Let x = d + -448. Which is smaller: x or -106/7?
x
Let z be 2/(5 - (-58770)/(-11765)). Let t = z - 428. Which is smaller: t or -0.09?
t
Let n = 33.78 - -300.22. Which is smaller: n or -4/7?
-4/7
Suppose 0*b = -4*b - 2*n + 62, -5*b = -3*n - 61. Let v be (-4 - 30/(-4))*24/b. Let h be -6*2/v*27/(-6). Is 1/2 equal to h?
False
Suppose 2*t + 399 = 3*x - 625, -5*x = -4*t - 1704. Do x and 333 have the same value?
False
Let s be ((-9)/4)/((-9)/240). Let h = -54 + s. Let q be (-2)/h*(-28)/21. Is 0 greater than or equal to q?
False
Let i be 56/(132*(-3)/(-18)). Suppose -11 = -5*f - 1. Are i and f unequal?
True
Let w = 247 - 246. Let x be (-2)/(-8) + (-62)/(-8). Are x and w equal?
False
Let h(o) = o + 6. Let l be h(-8). Let j be 8/(-2)*l/2. Suppose -r - 4 = 2*x - 3*r, -4*r = 4*x - 24. Which is greater: j or x?
j
Suppose q = -4*l + 264, -q = 2*l - 2*q - 138. Suppose -43 = 2*i + l. Let y = i + 54. Which is bigger: y or 1/35?
1/35
Suppose -2*b - 46 = 4*v, 576 - 592 = -4*b + v. Let y be 5408/8094 + (-6)/9. Is y >= b?
False
Suppose 5*w + 2*s - 119 = 61, 0 = 4*s. Let g = w - -6. Suppose -g = -76*l + 75*l. Which is greater: 43 or l?
43
Suppose 2*m + 2*d + 635 + 1361 = 0, 0 = 3*d + 6. Is m less than -995?
True
Suppose 194*b - 6 = 182*b - 30. Which is greater: -92/45 or b?
b
Let t(o) = -3*o**2 + 67*o + 59. Let u be t(35). Which is bigger: u or -1268?
-1268
Let t = -2.35 - -8.19. Let s = t - 5.9. Let d = s - -0.36. Which is smaller: -3/4 or d?
-3/4
Suppose 4001 = 2*f - r, -112*f - 5*r - 1978 = -113*f. Is f >= 0?
True
Suppose -2*r = -4*s + 8, s = -15*r + 14*r + 2. Which is smaller: r or -4/7797?
-4/7797
Suppose 0 = -3*r - r. Let c = 26 + 1518. Let p be (1 - -4) + (-7736)/c. Do r and p have the same value?
False
Let p be (-6)/(-10) + ((-1430)/(-75) - 10). Let q = 168/11 - 127/22. Let j = p - q. Which is smaller: j or 0.5?
j
Let s be ((-5810)/(-840) - (-2)/24) + -7. Which is greater: s or 25/141?
25/141
Suppose 0 = -m + 2, -3*t + 3*m = -7*t - 18. Let r be (21 - 25)*t/(-8). Which is greater: 34 or r?
34
Let x(v) = -202*v - 626. Let t be x(-3). Let p = 31 - 60. Let f = p - -7. Which is smaller: t or f?
f
Let y = -21396/35815 + 168/247. Let r be -9 + -1 + 3158880/324800. Let w = y - r. Is w at least as big as 0?
True
Let x be (-4 - (-6274)/30) + (4 - 50/15). Is 205 at most as big as x?
True
Suppose 3*w - 2*p = 211, -3*w = -5*w - p + 129. Let t(m) = -6*m - 18 + 4 + 4*m**2 + 3 + 4 + 5. Let b be t(5). Is w smaller than b?
True
Let q(d) = d**3 - 9*d**2 + 5*d + 27. Let o be q(8). Suppose -y + o*y = -24. Is y > -3?
False
Let z(p) = -p**3 + 7*p**2 + 7*p + 11. Let w be z(8). Suppose 4 = t - 0*f - w*f, -4*f = 4*t. Let b be 140/(-49) + (4 - t). Which is bigger: 1 or b?
1
Let l(k) = 3*k**2 + 35*k + 8. Let j be l(-14). Let o = j + 81. Are 186 and o equal?
False
Suppose 0 = 3*f + 719 + 4219. Let l = 67483/41 + f. Which is smaller: 4 or l?
l
Let u be -4*15/(-113070)*1/(-2). Which is smaller: -1 or u?
-1
Let x(h) = -3*h**2 - 166*h - 56. Let d be x(-55). Which is smaller: d or -1/12391?
d
Suppose -6*j - 2*q + 83794 = 0, -187*q = 5*j - 183*q - 69819. Is j bigger than 13966?
True
Let c be 31/(-155) + (-6745)/25. Which is smaller: c or -272?
-272
Let r(d) = -7*d + 44. Let g be r(6). Suppose 4 = 4*k + 2*s, 0 = g*k + k + 4*s - 13. Let h be (-10)/(-16)*10/(-50). Is k less than h?
True
Let x(p) = -84*p**2 + 32*p + 114. Let a be x(-4). Does a = -1357?
False
Suppose 4*z = 4*l - 64, 690*z - 685*z + 60 = 3*l. Let u = 0.2 + -0.4. Is u <= l?
True
Let p be (4/(-427))/(105720/(-420)). Is p less than 0?
False
Suppose 631*z = 635*z + 1508. Let n = 378 + z. Which is greater: n or 17/13?
17/13
Suppose 262*f - 113164 = 186*f. Which is bigger: f or -1?
f
Suppose 3*u + 23*n - 16*n - 35 = 0, -4*n = u - 20. Is u at least -7/853?
True
Let z be (-72)/48 + (-33492)/(-22320). Which is smaller: z or -1?
-1
Let d be (11214/(-4455))/(-14) + (-5)/25. Do d and -1 have the same value?
False
Let f = -13 + 16. Suppose 6*a - 32 = -14. Suppose 0 = a*v - 0 - f. Which is bigger: v or 1/93?
v
Let n(b) = b**2 + 8*b + 15. Suppose 0 = -m - 4 - 1. Let v be n(m). Let z be -1 + v + (-8)/(-8). Which is bigger: 8/13 or z?
8/13
Let m = 12256 + -8172. Which is greater: 4085 or m?
4085
Suppose -25 = -15*c + 5. Suppose q - 2*q + 113 = c*o, -3*o = -2*q - 173. Let w = 64 - o. Which is smaller: 9 or w?
w
Let o(h) = -6462*h**2 + 28*h + 6. Let y be o(2). Which is smaller: -25785 or y?
y
Let t(i) = -i**2 - 39*i - 196. Let v be t(-35). Which is smaller: v or -54?
v
Let i be 5 - 1/((-1)/(-3)). Suppose -5 = q + 2*g, -q - i*g = -g. Let x(r) = -r**3 + 5*r**2 + 2*r - 8. Let y be x(q). Are 6/7 and y non-equal?
True
Let d be ((-15)/(-3))/(-2 + (-54)/(-24)). Let s be (d/12 - 6) + 5 + 0. Which is greater: s or 64?
64
Let m be (-8)/(-54)*((-10)/45 - 46/36). Which is bigger: m or 781?
781
Let k be 11/((-4)/(-15184)*12/(-10)). Let g = k + 2388262/69. Let f = g + 184. Which is smaller: f or 0?
f
Let v = -237.17 - 5.83. Let o = 251 + v. Which is bigger: -15 or o?
o
Let h = -1535/14 + 6565/42. Let t(q) = 26*q - 5. Let g be t(2). Which is greater: g or h?
g
Let m = -29548 - -1004787/34. Are m and 5 equal?
False
Let y be (352/(-6))/((-14)/1071). Let w = 31296/7 - y. Let a = 16 + w. Is a > 0?
False
Let i = -22547/5 + 5839578/1295. Is i at least -2/7?
True
Let y = -102/23 - 292/69. Let j = y + 12. Which is bigger: 2 or j?
j
Suppose m + 765 = 5*q + 6*m, -5*q = 4*m - 765. Suppose k - 178 = -3*u + q, 2*u - 202 = 4*k. Let z = u + -70. Which is bigger: 38 or z?
z
Suppose -48*y - 1499 = -15851. Is y greater than or equal to 299?
True
Let p be 101/(-3) - (-2)/3. Suppose 4*s + 28 = 0, 4*s - 1433 + 1368 = 3*r. Is p less than or equal to r?
True
Let a = -295 + 203. Let h = -89 - a. Which is bigger: h or 17/11?
h
Let v(n) = 2*n**2 + n + 9. Let o be (-15)/(-4) - (-57)/(-76). Let i be v(o). Is 30 greater than i?
False
Let j(h) = -h**3 + 5*h**2 + 11*h - 26. Let b be j(6). Suppose 3*u - 223 = -4*t, -u - 4*t + t = -66. Let x be (-2)/b - u/(-2). Are x and 41 equal?
False
Let v = -8/103 + 683/2163. Suppose -6*r = -20*r + 98. Let g be r - (-21)/(-7) - 4. Does g = v?
False
Let z = -671 + 475. Let c = -198 - z. Is 89 at most c?
False
Let z = 375 - 418. Let c = z - -42.96. Does c = -5/8?
False
Let c = 763 - 761. Is 486 < c?
False
Let r = -333.476 - -18.476. Which is smaller: r or 0?
r
Suppose 3*n + 30*v = 28*v - 181, -4*n + 2*v = 260. Let u be -29*((10 - 2) + -6). Is n < u?
True
Suppose -t = -5*t + 5*d - 83, -4*d - 114 = 5*t. Let v(j) = 7*j + 29. Let k be v(t). Is k bigger than -125?
False
Let o be (-2)/(5 - (-45)/(-10)). Let s be (-72)/30*10/o. Suppose -3*q + s = -24. Does 12 = q?
False
Suppose 5*s - s - 88 = 4*p, -5*p - 32 = -2*s. Let t be 39/s + (-10)/8. Let k = -2579/5 - -517. Which is smaller: k or t?
t
Let v(o) = o**3 + 13*o**2 + 10*o - 28. Let j be v(-12). Let l be 1*(j - (-18)/6). Is l at most -1/3?
True
Suppose 3935 = 97*p + 53211. Is -508 at most as big as p?
True
Let b = -22118 + 1523. Is b >= -20595?
True
Let k = 26.4 - -635.6. Let x = k + -658. Let n(i) = -i**2 - 6*i - 5. Let s be n(-5). Which is greater: x or s?
x
Suppose -r - 46 = 3*v, 3*r = -2*v + 4*v + 27. Suppose -14*b + 356 = 132. Suppose 0 = g - 2*s + b, 5*g - s + 53 = -27. Are v and g unequal?
True
Let q = 482217/466 - -396/233. Let a = q - 26817/26. Is 5 at least a?
False
Let c = 192 - 146. Let f = 45.6 - c. Let t = -1.6 + -3.4. Which is bigger: t or f?
f
Let i = 0 + 24. Suppose -i = -7*k - k. Suppose -k*r + 8*r = -w + 10, -5*w = -r + 28. Which is smaller: r or 4?
r
Let m(u) be the first derivative of 5*u**2/2 - 15*u - 26. Let j be m(14). Let z be (-3 - (-9 + 4))/j. Which is smaller: z or 0?
0
Let w be -2 + -1 + (-1675)/(-125). Let o be (0 - 18)*1/(2/(-1)). Which is bigger: o or w?
w
Let i be 348/(-18) + 4/(-6). Let c = i - -20. Is 6/17 >= c?
True
Let x = 5012 + -5016. Let v = 28.78 - 29. Is x at most as big as v?
True
Let f = -48021 - -48017. Let o = 8 - 7.88. Is o bigger than f?
True
Let x(h) = -3*h - 2. Let s be x(-3). Let m = -499.71 - -501. Let t = -1.49 + m. Which is bigger: s or t?
s
Suppose -29*q + 2*q + 40581 = 0. Let d = q - 2402. Is d smaller than -900?
False
Let u(i) = 16 - 7 - 11 + 294*i - 291*i. Suppose