- 24 = 5*q, 3*j + 2899 = 2*q + 2881. Which is greater: q or -65?
q
Let u be 44/(-33)*1/7*(-6)/236. Which is greater: u or -9?
u
Let w = -2360 - -2349.23. Let o = w - -10.3. Let h = o + 1.47. Is 0.1 >= h?
False
Let d = 187 + -250. Let u = 200 + d. Which is smaller: u or 136?
136
Let x be -4 - (-488664)/39 - (-42)/273. Is x at most as big as 12527?
True
Let h(r) = r**3 - 33*r**2 + 68*r - 29. Suppose -491 - 346 = -27*x. Let w be h(x). Which is smaller: w or 0?
0
Let y be (-3)/((-212)/(-8) + 2) + 554320/494. Is y at least as big as 1122?
True
Suppose 0 = 2*c - 4*o - o - 1040, 1076 = 2*c + 4*o. Which is bigger: 528 or c?
c
Suppose -17*s = -20*s + 105. Let o = s - 41. Let l be o/15 + 492/1305. Which is greater: 1 or l?
1
Suppose -12*b + 13*b + 5*w - 78 = 0, 0 = 4*b - 6*w - 390. Which is greater: 90 or b?
b
Let g = -19791 - -23379. Is 3588 less than g?
False
Suppose 3*w = -3*o - 1233, -13*w + 8*w = -2*o + 2083. Let f be (-1 + w/(-550))*60/72. Do f and 0 have different values?
True
Let s = 71 + -68. Suppose -4*u + 0*x - s*x + 1408 = 0, -357 = -u - 2*x. Which is smaller: 350 or u?
u
Let a be 6/(-45) + 13559/105. Let j = a + 6. Which is smaller: 136 or j?
j
Let f = -93.81 - -94.9. Let y = f + -1.19. Let l = -0.121 - -0.172. Is l bigger than y?
True
Suppose -4*w - 4*v - 940 = 0, 5*w + 3*v + 259 = -908. Is -240 greater than w?
False
Suppose 5*v + 3*x = -15378, 12360 = -4*v + 678*x - 674*x. Are v and -3081 non-equal?
False
Suppose -5*l + 9*p - 150 = 5*p, 5*p + 105 = -5*l. Let r = -24 + 56. Let y = r + l. Which is smaller: 5 or y?
5
Let x = 9335 + -9385. Is x bigger than -48?
False
Let h be -48*(-14496)/144*(-2)/(-4). Does h = 2417?
False
Let y be (-1 - (-58)/6) + 6/18. Let v be y/15 + (-63)/5 + -2. Suppose 19 = -4*u - 41. Is v bigger than u?
True
Let p be (-4756696)/11368 + (-1)/(7/(-3)). Is p less than -418?
False
Let y(u) = -13*u - 1. Let n be y(-1). Let o be (3/12)/(3/n). Let c be (1/(-4))/((-18)/(-48)). Which is smaller: c or o?
c
Suppose 41*n - 16885 = -14*n. Let j = n - 314. Which is smaller: -67/8 or j?
-67/8
Suppose x + 0 = 6. Suppose 6*o = -6 - x. Let n be 2*o*(-1)/76. Is 1 at least as big as n?
True
Let f be (-2)/6*(-3)/2*(-20)/1670. Is 1 greater than f?
True
Let y be (-17)/((-1 - 0)*38). Let k be 6/3 + (-156)/76. Let i = k - y. Which is greater: 1/13 or i?
1/13
Let a(r) = -r**2 - 9*r + 52. Let g be a(4). Which is bigger: g or -6/251?
g
Let y be ((-6)/4 - -2)*2. Let o be 566*(-4)/(-1920) + 3/6. Let t = o - 1/80. Is y at least t?
False
Let t = -11040 + 11046. Which is smaller: t or 1/69?
1/69
Let j = -39011.4 + 39009.4. Let x = -12 - -44. Is x <= j?
False
Suppose 4*o + 468 = 5*b, -2*b = o + 2*b + 117. Let k = -117 - o. Suppose 2*j = 5 - 15. Which is smaller: k or j?
j
Suppose 4*t = -2*p + 106, -13*t + 4*p = -10*t - 74. Suppose 3*v = -t*v - 29. Which is smaller: v or 1/5?
v
Let r(f) = f - 27. Let o be r(32). Suppose -6*q + 3*q - 223 = -o*n, -n + 2 = 0. Let l = 19 - 89. Which is greater: l or q?
l
Let l(x) = -75*x**3 + 5*x - 79*x**3 + 236*x**3 - 81*x**3 + 3*x**2 + 2. Let r be l(-2). Which is greater: -6 or r?
r
Let j = 0.08898 + -37.18898. Which is smaller: 3.2 or j?
j
Let p = 15571 - 15402.98. Let d = 168 - p. Which is bigger: d or -8/7?
d
Suppose 4*p = -28, 365*p - 370*p = -3*t + 35. Which is bigger: t or 21/998?
21/998
Suppose 5*z = 5*s - 2068 + 103, 0 = 2*z + 4*s + 798. Let n be (-2 - z/15) + 2/(-6). Let f be (16/(-40))/(n/(-10) + 2). Is 6/5 equal to f?
False
Let f be (1 - (-10)/(-4))*2. Let d be 1/(3/(-2))*f/1. Suppose -36 - 4 = 3*i - 5*a, 5*a = d*i + 35. Is i at least 0?
False
Let h = 45796 + -45817. Let g(y) = -17*y + 1. Let s be g(1). Is h smaller than s?
True
Let t be -1*(4 - 3)*-15. Let f(z) be the first derivative of z**4/4 - 5*z**3 + z + 606. Let q be f(t). Are q and -1/11 equal?
False
Let k = -1718 + 3201. Suppose -4*u + 1172 = 4*x, -u = 2*x - 7*x + k. Which is bigger: x or 295?
x
Let l = -4001/8 - -498. Suppose -3*d + 47 = 5*b, -2*b + 54 = 3*b - 4*d. Let u be 14/21 + b/(-6). Which is smaller: l or u?
l
Let j = 262591/17 - 15216. Let w = j + -233. Let q = 45 + -47. Which is greater: w or q?
q
Let u be ((-3)/4)/((-30)/36160). Which is smaller: u or 903?
903
Let h = 61 - -9. Let l = -55 + h. Let z be (-4)/(4/(-2)) + (-117)/l. Which is greater: -5 or z?
-5
Let r = -19853.993 + 19845. Is r at least 1/3?
False
Let m = 4/31 + -1/248. Let y = 143 - 141. Suppose 3*p = 5*p + 4*d - y, -p + 3*d = 19. Is p equal to m?
False
Let y = 220597459/10967320 + -47/11960. Let l = -108/131 + y. Let h = l - 19. Are 16 and h equal?
False
Suppose -1 - 5 = 2*t - 3*g, -10 = 5*t - 5*g. Let b(u) = 4*u**2 + 2*u - 24. Let p be b(7). Let z = 1495/8 - p. Do z and t have different values?
True
Let i = 2/8201 - -713461/106613. Is i >= 6?
True
Let h = 1061 - 501. Suppose 0 = -7*l + 12*l - h. Let q = l + -112. Is q at least as big as 4/15?
False
Let z = 1.32 - 0.877. Is z less than -0.1?
False
Let y(r) = -r**2 + 9*r. Suppose 4*j = 5*f + 14, 5*j + 6*f = f + 40. Let l be y(j). Suppose 0 = -3*z + 4 + 53. Which is smaller: z or l?
l
Let v be (38/57)/(4/(-3)) + (-7123)/2. Which is smaller: -3563 or v?
-3563
Let y = 0.05113 + -3257.05113. Which is bigger: -2 or y?
-2
Let t = -1.157 + 140.157. Is t at most as big as -0.2?
False
Let t be (-1 - (-1)/1)/(-1). Suppose 45*s - 50*s - 4*g = 50, 4*s - g = -19. Is s less than or equal to t?
True
Suppose 77*y = 58*y. Is 88/95 greater than y?
True
Let j(h) = h**3 - 17*h**2 + 18*h - 34. Suppose -19 = 2*m - 51. Let z be j(m). Let c be z/8 + (-4)/((-48)/(-45)). Is c less than -2?
True
Let j = -0.06 + -1.14. Let l = j - -2.9. Let h = l - 0.7. Which is smaller: 19 or h?
h
Let v = -2.07 + 0.07. Let a = -6160.941 + 6161. Which is smaller: a or v?
v
Let x = 262 + -256. Suppose x*m = -8 + 2. Which is smaller: 1/14 or m?
m
Suppose -5*x + 4*x + 52 = w, -3*x = -4*w + 201. Let d = 51 - w. Is 11/36 smaller than d?
False
Suppose 11 = -4*o - 1. Let h(s) = -12*s - 156. Let n be h(-8). Let v be 13/(-52) + (-3)/n. Is o smaller than v?
True
Let y be 44/8*-2 - 5. Are y and -253/16 equal?
False
Let m = 2215.4 - 3066. Let v = 851 + m. Which is bigger: v or 2/383?
v
Let m(o) = -3*o**3 - 449*o**2 + 140*o - 1445. Let r be m(-150). Let g be (-5)/20 + 201/4. Suppose -36 + 11 = 5*i, 0 = a + i - g. Is a equal to r?
True
Let w be -6*2/15 - 27/(-70). Let i = w - 3/10. Is -0.1 at least as big as i?
True
Let i = -3774 + 3774. Suppose -5*p - 1 - 2 = -3*h, 20 = -5*h. Let q be p/6 - (-42)/116. Is q equal to i?
False
Let w = 171/574 - 1/82. Let k = -0.028 + 23.028. Let i = -22 + k. Which is smaller: w or i?
w
Let k = 14428/13 - 8095408/7293. Let r = k - -2/33. Let q = -3.8 + 3.5. Which is bigger: r or q?
r
Let a = 1852 + -1798. Is a > 25?
True
Let h be (-52)/(-14) + -1 + (-120)/40. Which is greater: -0.2 or h?
-0.2
Suppose 33*n - 34306 = 4568. Is n less than 1178?
False
Let j(u) = u**2 + u - 3. Let x be j(-3). Suppose -5*r - 3 = 2*t - 2, -4*t + x*r + 11 = 0. Suppose 3*y - 14 = t*y. Does 14 = y?
True
Let l = 1071.5 + -1071.7. Which is greater: -22.96 or l?
l
Suppose -7*a + 6664 = 1785. Suppose 4*n + n + 134 = -l, -5*l = -2*n + a. Let h = l - -138. Is h <= 9?
True
Let k(o) = 2*o - 12. Let b be k(8). Suppose 3*t - 4*y - 22 = -0*t, b*y = -16. Suppose t*a - 2*v + 2 = 6*a, 3*a - 5*v - 8 = 0. Which is greater: a or -0.1?
a
Let v = -63.2 + 58.2. Let g be 16/(-3) + 16/48. Is v at least as big as g?
True
Let i = -0.11117 + 0.08227. Is i smaller than -0.07?
False
Let f = -7051 - -7072. Are f and 304/15 unequal?
True
Let l = 0.10615 + -0.00615. Which is greater: l or -6375?
l
Let u(w) = -561*w**3 + w**2 - w. Let r be u(-1). Which is smaller: r or 562?
562
Suppose 2*q + 4 - 42 = -5*i, 5*i = 0. Let n = -3.5 - -0.9. Let x = n + 1.6. Is x < q?
True
Suppose -40*k - 18*k = -8*k + 74550. Is k >= -1491?
True
Let l be 834870/1360 + 2/16. Which is bigger: l or 615?
615
Let f = 212789390 - 28088356031/132. Let a = f + 1186. Do 0 and a have the same value?
False
Suppose 10*g + 1712 - 232 = 0. Let n = -154 - g. Let c be ((-12)/(-60))/((-2)/54). Which is smaller: c or n?
n
Let m = -0.728 - -0.16. Let s = m + 1.068. Is -12 not equal to s?
True
Let r = -1.9 - -29.9. Let o = r - 27. Let g = o + -0.9. Is -0.7 != g?
True
Let j be (-132)/88 - (27/6 + -6 + 1). Which is smaller: j or -1/5049?
j
Let t = 143