gger: v or -20?
v
Let w = 51452 - 1370681533/26640. Let s = 1/333 - w. Which is bigger: s or -0.1?
s
Let w(b) = -44*b + 482. Let a be w(11). Is a at most -0.4?
True
Let c = -17061/205 + 416/5. Suppose -192 = -2*f + 3*t, -7*f + 4*f - 3*t = -273. Suppose 112 - f = -19*v. Which is bigger: v or c?
c
Let j be (-12)/(-54) + 2*8/9. Suppose j*s - 6*s = -4. Let g be 6/18 + (s - 52/3). Which is bigger: g or -15?
-15
Let a(f) = -170*f + 781. Let k be a(4). Which is greater: -72 or k?
k
Let g = 13 + -47/2. Suppose 2122*f = 2110*f - 120. Which is smaller: f or g?
g
Let n(t) be the first derivative of t**3/3 + 15*t**2/2 + 17*t + 29. Let d(a) be the first derivative of n(a). Let o be d(-10). Is -4 less than o?
False
Let s = 120 - 111. Suppose -323 = 28*d - s*d. Which is smaller: -7 or d?
d
Let v be ((-208)/(-48))/(1/12). Which is greater: 51 or v?
v
Suppose 5*x + 20 = -5*v, 2*v + 25 = 2*x + 17. Which is smaller: -5/514 or x?
-5/514
Suppose 3*i + 4 = -17. Let o(j) = 97*j - 1158. Let a be o(12). Is a > i?
True
Suppose 0 = -b - m - 52 + 10, -5*b - 200 = 3*m. Let f = b + 36. Let q be 4/(-140) + 2 + 2*f. Is 0 <= q?
False
Suppose r + 2 + 3 = -3*l, -10 = 5*l. Let m be (-5)/((-42)/(-45) - r). Suppose 3*h = 18, 273 = 3*f - 26*h + 19*h + 15*h. Are f and m non-equal?
False
Let k = 2985.7 + -2984.7. Which is greater: k or -24731?
k
Suppose -2*z = -2*t + 1008, 375*z - 1016 = 377*z - 4*t. Is z bigger than -500?
False
Let o = -337223/5 + 67446. Let x = -2 - -1.8. Which is greater: o or x?
o
Let d = -37 + 41. Suppose 2*t - 4*t + 6 = -n, -3*n - d*t + 2 = 0. Let k(h) = 3*h + 40. Let j be k(-14). Are n and j unequal?
False
Let u be -20 - -14*(-77)/(-55). Is -101 less than or equal to u?
True
Let a(g) = -g**2 + 43*g - 441. Let f be a(13). Which is smaller: -49 or f?
f
Suppose 8 = h + 29. Let z be ((-90)/h - -2) + (-6)/21. Suppose -6 = -4*q - z. Is 7/8 greater than q?
True
Let k = 5404 - 5389. Is 14 <= k?
True
Let v = -10035/22 - -4902/11. Which is bigger: v or -12?
v
Suppose -6*n - 3427 = -70*n - 9635. Which is bigger: n or -85?
-85
Let k = 16343/5 - 3279. Let b = -5 + -5. Which is greater: k or b?
b
Suppose 0 = 3*y - 15, 169 = -5*n + n + 5*y. Let l be (-2 + 0)*(-1602)/n. Is l at least -90?
True
Suppose 262*d + 82 = 264*d. Which is smaller: d or 52?
d
Suppose -4*u - 3 + 22 = -f, -141 = 4*f - 3*u. Let z = 43 - f. Suppose 0 = 4*v - 4*o - 332, -4*v + o + 311 = -21. Are z and v equal?
False
Let v = 312 - 309. Suppose -4*x = -3*c - 23, -2*x + 20 = 5*c + v*x. Does -2/1251 = c?
False
Let f be 15/(-260)*(-7 - -5). Which is bigger: f or 1?
1
Suppose -276*z + 988*z - 636 = -1348. Let b = -11821/21356 + 21/38. Are b and z non-equal?
True
Let l = 5479 - 2894. Suppose -13*q + 1315 + l = 0. Is q at least as big as 300?
True
Suppose 0*u + 5*u = -215. Suppose 1726*b + 78*b = -203 + 12689 + 142. Is b greater than or equal to u?
True
Let g = -109 - -188. Suppose 3*v - g = 14. Suppose -2*h - 80*c + 77*c = -8, 3*c = 2*h + 4. Is h at least v?
False
Suppose h = 41*h + 2*h + 75894. Which is bigger: h or 1/4?
1/4
Let d = -31 - -30. Let a be 15/20 - (-14)/(-8). Let h be (a - -13)*7/238. Do d and h have the same value?
False
Let k be 0 + -1 + (-16)/1. Let l(z) = -z**3 + 37*z**2 - 70*z - 2. Let h be l(35). Let c be 13/((-52)/60) - (1 + h). Which is smaller: k or c?
k
Let k = 386 - 388. Let q(j) = -j**3 + j**2 + j - 63. Let f be q(0). Let c be (3 - 2)/k*(-108)/f. Which is smaller: c or -2?
-2
Let p = 2747 + -2746. Let g be (-4 - 0) + (-1065)/(-266). Which is smaller: g or p?
g
Let a be (((-24)/(-5))/(-1))/((-6)/15). Suppose -3*i + 209 = 5*r, a*r = 7*r - 2*i + 206. Suppose 2*j = -2*j + r. Is 5 at least as big as j?
False
Let k = 794/293 - 1474038/10255. Let v = k + 479/7. Which is greater: v or -73?
v
Suppose -264 = -10*s + 486. Let r be 1/((-4)/(1168/(-4))). Is s bigger than r?
True
Let b(a) = -104*a + 111. Let v be b(2). Is v <= -96?
True
Suppose 5*f + n + 18 - 43 = 0, -5*f = -4*n. Suppose -f*v = v. Is v at least as big as -1/496?
True
Suppose 2*i = 3*p + 12, 4*i + 4 = 44*p - 45*p. Suppose 0 = s + 3*l - 17, 4*s + 5*l - 32 = 2*l. Suppose i*o - s*o = 5. Which is bigger: o or 6/37?
6/37
Let v = -219 + 220. Let b = -3/1264 - -1765/211088. Which is greater: b or v?
v
Let h = -106218 + 1488643/14. Which is smaller: 114 or h?
h
Let r be (-1)/2*80964/10134 + 1 + 3. Which is greater: -0.2 or r?
r
Let k be (-4)/28 + (-27)/7. Let x = k + 17. Let m be (-7*7/((-196)/96))/2. Is m smaller than x?
True
Let b = 320 - 1602/5. Let z = 103 + -102.21. Let x = -0.8 + z. Is b greater than or equal to x?
False
Let r be (-282)/((-63)/(-36)*(-12)/9). Is r less than 120?
False
Let t = -0.49 - -0.09. Let v = t - 25.6. Let w = 25.9 + v. Which is smaller: w or 28?
w
Let p = 263 + -165. Let m = -101 + p. Which is greater: m or -7/5?
-7/5
Let t = -91/72 - -35263/28584. Which is smaller: t or -7?
-7
Let t = 930496139040 - 5550521128910340083/5965120. Let n = t + -2/18641. Is n at most as big as 0?
True
Let y(x) = -x**3 - x + 1. Let i be y(0). Let t be 50/12 + 3/(-18)*i. Suppose 36 = 2*z + t*o, -4*z - 37 = 2*o - 139. Is z greater than 27?
True
Let n = 50702 + -50920. Let u = -0.18 - -0.08. Is n greater than u?
False
Suppose -4*m - n = -3*n + 716, -5*m - 910 = 5*n. Suppose 0*b - 3*b - 543 = 0. Are b and m equal?
False
Let j = 571 - 547. Let x be (-98)/(-340)*2 - j/40. Which is greater: x or -1?
x
Suppose -5 = 2*w + 1. Suppose -21*r + 1265 = 257. Let y be 1072/r + (-2)/w + 0. Is y at most 23?
True
Let n = 2667 + -2762. Is -99 greater than or equal to n?
False
Let i = -14150 - -8956948/633. Suppose -5*d + 2 - 7 = 0. Is i not equal to d?
True
Let c be 8106/90 + (-1 - -2). Let k = c + -462/5. Which is smaller: k or -19?
-19
Let c = -754 - -746. Let b(u) = 7*u + 55. Let m be b(c). Which is greater: m or -1/1337?
-1/1337
Suppose 5*o + 3 = 2*q + 6, 3*o = 3*q. Let u be 4/8 - (3/2 - q). Let g be (-3)/(-12)*8/9. Which is greater: g or u?
g
Let d = 11245 + -11235. Is d > 217/25?
True
Suppose -w + 70 = -102. Let s = -174 + w. Is s greater than -0.19?
False
Let i be 6/(-3)*(-516)/(-8). Let n be 24/(-40) - i/(-35). Which is smaller: -5 or n?
-5
Let p(h) = h**2 - 12*h - 63. Suppose 647 - 775 = -8*i. Let g be p(i). Is -1/103 < g?
True
Let w be 0/(-3 - (-8 - -3)). Suppose -6*y + 952 - 124 = w. Let n be ((-228)/y - -2)/2. Which is smaller: -1 or n?
-1
Let f be (12/(-8))/(-3)*-3*-8. Suppose -8*g + f = -2*g. Let m be 5/g + (-18)/12. Which is greater: m or -1.6?
m
Let d = -6597 - -6090.1. Let y = -541 - d. Let f = y + 34. Is -0.01 less than f?
False
Let b = 77 + -73. Suppose b*l - 15 = 3*q + 2*q, l = 3*q + 2. Are 12/29 and q non-equal?
True
Let t = 383 - 341. Let b be 2 - 5/4*t/45. Which is smaller: b or -0.47?
-0.47
Let x(t) = -t**2 - 4*t - 5. Let u be x(-4). Let y be u/(-25) - (-302)/(-1460). Let l be -3*1 - (-31 + 29). Which is bigger: l or y?
y
Suppose 2*y + 163 = -k + 940, 0 = 3*y + k - 1165. Let d = 388 - y. Which is greater: d or 34/35?
34/35
Let y = -0.046 - -44.046. Let z = -45.6 + y. Let q = 2.6 + z. Which is greater: q or -1/4?
q
Let y = 87 + -57. Let h be 18/117 + y/(-26). Suppose -3*p + 10 + 2 = -3*d, -5*p = 3*d - 4. Are p and h unequal?
True
Suppose 3*p - 38263 = -5*b, 0 = -3*b - p + 9759 + 13202. Is 7656 smaller than b?
False
Let i(y) = 193*y + 1737. Let h be i(-9). Which is smaller: 1/6949 or h?
h
Suppose 0 = -2*i + 1 + 1. Let t = 639 - 674. Let j = t + 1083/31. Is i at least j?
True
Suppose -738*r + 59*r = 161*r + 451080. Is -544 equal to r?
False
Let s(c) = 7*c + 44. Let a be s(-6). Suppose u = i - 22 + a, 5*i + 4*u - 64 = 0. Is 16 not equal to i?
False
Let s(w) be the third derivative of -3*w**5/20 - 5*w**4/12 - 25*w**3/6 + 23*w**2. Let l(r) be the first derivative of s(r). Let t be l(3). Is -64 equal to t?
True
Suppose i - 2*p = -231, -12*i + 7*i - p = 1155. Are i and -287 equal?
False
Let a = 2654 + -2654. Let p be 77/28 + 3/(-4). Let k be -1 - (-2 + p) - 64. Which is bigger: k or a?
a
Let a be 36/(-64)*(-12)/9. Let k = -2891 + 2873. Which is smaller: k or a?
k
Let b(i) = 9*i**2 + 2*i - 23. Let h be b(4). Suppose -4*l - 60 = 2*a, 2*a + 5*l = 65 - h. Do a and -34 have different values?
True
Let s = 8 - 12. Let d = 48.8 + -49.1. Is d at most as big as s?
False
Let c = -9447 - -9045. Which is smaller: -2813/7 or c?
c
Let p be (-56368)/1