 smaller: j or -145?
j
Let k = 91 - 8. Let q = k - 83.1. Do q and -58 have the same value?
False
Let q = 4/33 - -1/22. Let s = 7 - 3. Let t = 3.9 - s. Which is greater: q or t?
q
Let s = -2 - -2.2. Suppose -4*q - 5*w + 13 = -4, 3*w = 5*q + 25. Let u be (2/q)/((-3)/(-33)). Which is smaller: s or u?
u
Let v = -16 + 22. Let t(l) = -l**3 + 6*l**2 + 2*l - 7. Let w be t(v). Suppose -5*f - w = 0, -3*f + f + 10 = -3*z. Which is smaller: z or -3?
z
Suppose 5*k = -2*w - 10, 0*k = -4*w + 2*k + 4. Let a be 1/(4 - 5) + w. Is -1/2 at least as big as a?
True
Let l(x) = -x + 9. Let i be l(4). Let y be (-2)/i + 184/260. Which is greater: -1 or y?
y
Let o(k) = -k + 42. Let v be o(41). Let w = 5 - 21. Which is bigger: w or v?
v
Suppose 23*w + 4372 - 12721 = 0. Which is bigger: w or 364?
364
Suppose -4*y + 13 = 1. Let v(i) = -i - 4. Let s be v(-4). Suppose -y = -2*z - t - 4, -t + 3 = s. Is z > 1/2?
False
Let m = -0.029 - 0.071. Is m not equal to 2/7?
True
Let w = 296957/54 + -5499. Which is bigger: w or 0?
w
Let j(n) = 131*n**2 - 2*n + 1. Let a be j(1). Let h be (-2)/9 + a/504. Is -1 equal to h?
False
Let b = 37 - 41. Let k be (-74)/28 + (-2)/b. Which is smaller: -2 or k?
k
Let o be ((-105)/5)/((-2)/(5 - 1)). Is o less than -3?
False
Suppose 11*q + 22*q = -2079. Which is smaller: -188/3 or q?
q
Let b(h) = h**2 + 3*h - 10. Suppose -3*c = 2*t - 6*t + 11, -t - 1 = 0. Let p be b(c). Suppose -4*d - 22 = y, 3*d + p*d = -2*y - 19. Is y greater than -11/4?
True
Let d = 8167 + -12095328/1481. Which is greater: d or -1?
d
Let n = 75/52 - 571/468. Let s be (-2)/5 - (-1748)/10. Let m = s - 175. Is n < m?
False
Suppose -6*o + 4*m = -3*o + 12, 4*o = 3*m - 23. Let l be (o/(-110))/(20/(-50))*1. Is -1 <= l?
True
Let s = -8 - -9. Suppose m + 2 = -2*r - s, 2 = 4*m + r. Is 1/10 bigger than m?
False
Let t be (-100)/65 - (-12)/6. Is t <= -1/2?
False
Suppose -3*p - 4*s + 4 = 0, 11*p + s = 6*p - 16. Which is smaller: -3 or p?
p
Let a = 135.2 + -146.2. Is a greater than 5?
False
Let x be (4 - 3) + 364/(-8). Let z = x + 26. Is -19 at most z?
True
Suppose 5*j + 4 = 3*p, 4*j = 2*j + 3*p - 7. Let v = 3859/80 + -239/5. Which is smaller: j or v?
v
Let g = -2666 + 2722. Which is smaller: 58 or g?
g
Let k(t) = -11*t - 32. Let g be k(2). Let z = -56 - g. Which is smaller: z or -27/8?
-27/8
Let v = -142.91 - -8.91. Are 1/3 and v equal?
False
Let v be -18 + 16 + (1 - -1). Let l be (4/(-9))/(6/7). Let g = l + 136/297. Which is greater: v or g?
v
Let d be (-3)/2*(-8)/(-78). Let w = -14 + 0. Let r = w + 13.8. Which is smaller: d or r?
r
Suppose -5*t - 38 = 202. Which is greater: -2 or t?
-2
Suppose -2*v - 3*d = 31, v = d - 1 - 2. Let x(m) be the first derivative of m**2/2 - m - 509. Let n be x(v). Is n less than -11?
False
Let v(o) = -o**3 + 4*o**2 + 5*o + 4. Let w be v(5). Suppose 6 = w*x - 6*x. Let j = -33 + 33.2. Which is bigger: j or x?
j
Let a(j) = 2*j**2 + 21*j - 102. Let k be a(10). Which is smaller: k or 306?
306
Let v = 0.399 - -59.601. Which is smaller: v or 3?
3
Let t(v) = -3*v**2 + v + 2. Let c be t(2). Let n(y) = -5*y - 189. Let a be n(-37). Which is smaller: a or c?
c
Let t be (36/(-24))/(6/4). Which is greater: t or -2/109?
-2/109
Let x be 2 + (-4)/(-10)*5. Let m be (16/12)/(4/6). Suppose -x*o = -m*o. Which is smaller: 2 or o?
o
Let g(m) = 10*m - 12. Let q be g(3). Let x be (1 - 3/2)*q. Which is bigger: x or -11?
x
Let o = -124/29 + 49629/11600. Which is smaller: 0 or o?
0
Suppose 0 = -9*r - 25 + 7. Let h(n) = 2*n + 6. Let j be h(-5). Let z be (r/8)/(j/16). Do z and -3/8 have different values?
True
Let w be 2 + 32/(-11) + (-37)/407. Is w greater than or equal to 1/1909?
False
Let a = 49/5 + -373/35. Suppose -3*w + w = o - 49, -o - 3*w = -52. Let s = -130/3 + o. Which is smaller: a or s?
a
Let k = 24 + -28. Let b be k/(-26) + 32028/26. Let i = 28330/23 - b. Which is smaller: i or -1?
-1
Let t be -10 + (-6)/8 + 49/28. Let h be -1 + (-12)/t + 0. Are h and 12 unequal?
True
Suppose -68*y + 60 = -65*y. Is y > 93/5?
True
Let d(o) = -o**2 - 8*o + 8. Let t be 6/(-9) - (-75)/(-9). Let h be d(t). Let l = 10 + -7. Is l >= h?
True
Let r = -125 + 126. Which is bigger: 1/256 or r?
r
Let l = 1089 - 1138. Are 7 and l non-equal?
True
Let p = -285 + 1998/7. Let l = 0.3623 - -0.0377. Does l = p?
False
Suppose 0 = -5*v - h + 10, 4*h = v + 2*h - 13. Let j = 0 - -3. Is j > v?
False
Let i(c) = -c + 22. Let w be i(-9). Suppose w*d - 26*d = 0. Which is greater: d or -2/25?
d
Suppose 112 + 116 = 19*h. Is 0 at most as big as h?
True
Suppose 2 = -u + 7. Suppose -u*k - 305 = -0*k. Let f = k - -245/4. Are f and -2/3 non-equal?
True
Suppose -3*g - 4*y - 11 = 0, -17 = 5*y + 8. Let z = 3.4 - 9. Let u = 6 + z. Which is greater: g or u?
g
Suppose 0 = -22*n - 43 - 1. Are n and -26/9 equal?
False
Let j(t) = t**3 + 22*t**2 + 23*t + 51. Let g be j(-21). Which is smaller: g or 6?
6
Let c = -125 - -93. Let u = -23 - c. Is 6 less than u?
True
Let g = 14940 + -14948.233. Let m = g + 0.033. Let x = m + 1.2. Which is smaller: x or -2/5?
x
Let f = -34 - -19. Let y = -175 + 175. Is y greater than or equal to f?
True
Let u be (-20)/(-5)*(7 + 1) - -4. Which is smaller: 37 or u?
u
Let x = 117 + 240. Let t = x + -5357/15. Let j be (-2)/(-4 + 2)*0. Is j > t?
True
Let a = 11.0493 + -0.0493. Which is smaller: a or 0?
0
Let a = -15 + 39. Let g = a - 25. Let h be (0 + 1)/(g/(-2)). Which is smaller: 4 or h?
h
Let g = 12987/4 + -3271. Which is greater: -25 or g?
g
Let r = 495 - 491. Is 6 > r?
True
Let n = -78 - -127. Suppose 113*z - 384 = 105*z. Which is smaller: n or z?
z
Let u(f) be the third derivative of f**6/120 + 7*f**5/60 - f**4/24 - 5*f**3/6 + 2*f**2. Let h be u(-7). Let k be (-55)/(-70) - (-3)/6. Which is smaller: k or h?
k
Let w = 635.79591 + 1.13409. Let k = w - 608.8. Let n = k + -28. Is n != 2/9?
True
Let z = -31 + 36. Suppose z*j + 12 = -33. Is -12 bigger than j?
False
Suppose -4*s = 4*q - 48, 2*s - 16 = -2*s + 4*q. Let b be 2/s - (-15)/20. Let o be 1 + (3 - 40/11). Which is smaller: o or b?
o
Suppose 2*x = 3*c + 18, 5*x + 3 = -4*c + 2. Suppose 12*y - 72 = x*y. Is y less than 6?
False
Let f = -14.95 - 0.05. Let w = -21 - f. Does w = 2?
False
Suppose -5*n - 3*y = 501, 2*y + 2*y - 91 = n. Let t = -1090/11 - n. Which is smaller: -1 or t?
-1
Let d(h) = -h**2 - 14*h - 26. Let z be d(-12). Let k be 5/1*(1 + z). Let s(a) = -a**3 - 7*a**2 + 8*a - 6. Let o be s(-8). Which is smaller: k or o?
o
Let b be (1/(-2))/((-2)/(-36)). Let y = 67 + -59. Let r = y + b. Is r != 1?
True
Let d = -21457/37 + 580. Which is smaller: 0 or d?
0
Let f be 140 - (14/28)/((-2)/(-8)). Which is greater: f or 136?
f
Suppose -r + q - 6 = -2*q, -r - 2*q + 14 = 0. Suppose r = 4*f + 2*y - 4, 5*y + 35 = 2*f. Suppose b - f + 4 = 0. Which is bigger: 4/5 or b?
b
Let c be (6/(-7) - (-1)/(-7))*-6. Suppose 0 = -c*l + 2*l. Let q be 2/(-12)*18/(-8). Is l less than or equal to q?
True
Let s be 32/28*25942/(-68). Is -435 greater than or equal to s?
True
Let d(f) = -12*f + 29. Let a be d(10). Which is greater: a or -90?
-90
Suppose 3*h - 9 - 3 = 0. Suppose 32 = h*o - 8. Suppose -2*y - 11 = -f, -88*f + 89*f = y + 10. Is o at least f?
True
Let l be ((-1)/1772)/(3 - 153/54). Which is smaller: 0 or l?
l
Let i(k) = -k**3 + 62*k**2 - 6*k - 51. Let f be i(62). Is -423 at most as big as f?
True
Let j = -0.0219 - -0.1219. Which is bigger: j or 119?
119
Let m = 49.029 + -0.229. Let j = m + -51. Is j at most as big as 0.3?
True
Suppose 3 = -a - 2*j, -5*j - 5 = a - 2*j. Let f = -12/85 - -16/17. Which is bigger: a or f?
a
Let z(r) = r + 12. Let q be z(-6). Let f = 397 - 387. Which is greater: f or q?
f
Suppose 4*n - 1 = d + 9, 15 = 5*n. Suppose 0*u + d*u = -58. Let q = u - -375/13. Which is smaller: -0.2 or q?
-0.2
Let s = -5/403 - 8378/6851. Is 1 < s?
False
Suppose 0 = 2*m + 5*l - 19, 6*l - 10*l + 17 = m. Let a be (-7 + 4)*(-45)/m. Is a less than -44?
True
Let q = 33 + -135/4. Which is bigger: q or 13?
13
Suppose -7*x = -2*x + 20, -5*x - 2 = -3*k. Let o be ((-20)/k)/2*3. Suppose -6 = -2*c + o*c. Which is smaller: -3 or c?
-3
Let v(q) = 32*q + 513. Let c be v(-16). Which is bigger: c or 13/116?
c
Let a = -2569/6 - -439. Is a at most as big as -1?
False
Let s = 2996 + -3097. Is -96 > s?
True
Let i = 40 + 9. Suppose -4*y = y - 4*f + i, 2*y + f = -17. Which is bigger: -8 or y?
-8
Let w be ((-