(2 - (-13)/t) + 790/(-12). Which is bigger: -69 or r?
r
Let t = -17 - 314. Let r = t - -332.6. Which is smaller: r or 1?
1
Let x = 19685 + -24963. Which is greater: -5280 or x?
x
Let j = 196 + -184. Let v be 2/8 + (-51)/j*1. Let r(c) = -c - 3. Let k be r(4). Is k less than v?
True
Let x = -42 - -50. Let f(a) = -a**3 + 11*a**2 - 26*a + 17. Let y be f(x). Let o be 1 - y - (-3 - (-463)/155). Which is smaller: -1 or o?
-1
Let o = 2917 - 3054. Which is bigger: 11 or o?
11
Suppose 2*n = 2*j - 4, 4*n - n = -2*j - 6. Suppose -70*l + 67*l - 30 = j. Which is smaller: l or -44/5?
l
Let o be 18640/45 + 6/(-27). Let z = 532 - o. Is 117 at most z?
True
Let r be (10647 + 11)*(1/(-6))/(6/18). Is -5328 != r?
True
Suppose 24 + 30 = 4*d + 38. Which is greater: 75/16 or d?
75/16
Let v be 3 - 0 - (-17)/1. Let r(j) = -j**2 - 56*j - 489. Let g be r(-45). Is v smaller than g?
False
Let u be 1 - (271921/(-585) - 2/(-9)). Which is smaller: 465 or u?
465
Let z be 1/2 + 10/(-4). Let t(h) be the first derivative of -25*h**3/3 - 3*h**2/2 - h - 30. Let a be t(z). Does a = -94?
False
Let r be (18/(-12))/(9/(-6)). Let w be 2626/(-3192) + -1 + 2. Let n = w + -4/57. Which is greater: r or n?
r
Let u(y) = y**3 - y**2 + 4*y + 15. Let t be u(0). Let r(n) = -n**3 + 14*n**2 + 13*n + 15. Let p be r(t). Let h be 110/(-7) - 1 - 6/21. Is h <= p?
True
Let i = -24003 - -24006. Suppose 4*j + 14 = 3*r, 3*r = 4*r - 2. Let k = -3 - j. Which is bigger: i or k?
i
Let x = 266 - 265. Is -1/723 smaller than x?
True
Suppose -w - 10 = -11*s, -22*w + 25*w + 4*s - 155 = 0. Are 921/20 and w equal?
False
Let l = 5494 + -247231/45. Is l equal to -2/49?
False
Let i = -2343 - -2350. Which is bigger: 148/21 or i?
148/21
Let b be 5236/2499*3/8. Which is greater: b or 14?
14
Suppose 433 = -3*p - d - 436, 0 = d + 2. Let y = -160 - p. Suppose -4*u + 2*u + 10 = 0, 5*u = -2*r + y. Is 0 at least r?
False
Let q(b) = 2*b**3 + 54*b**2 + 277*b - 60. Let i be q(-20). Is i >= 1/431?
False
Let z be ((-17)/34)/(1/(-140)). Suppose 0*l = 10*l + z. Which is smaller: -9 or l?
-9
Suppose -51*x = -33*x - 18 - 72. Suppose 3*t + 4*p = -35, -2*p + 28 + 65 = -5*t. Which is smaller: t or x?
t
Let g = 2132 + -2131.9577. Which is greater: -5 or g?
g
Let f = -35 - 13. Let u = 43.7 + f. Let c = u + 3.3. Is c smaller than -0.29?
True
Let x = -2239 + 2245.44. Which is smaller: x or 1?
1
Suppose -50*f - 202 + 1502 = 0. Let i be (-156)/f*(-38)/(-3). Which is smaller: -78 or i?
-78
Let s be 40/(-30) - (-1 - 0). Let z = 154 + -54. Let d = 97 - z. Is s at least as big as d?
True
Let x be (-27 - -17) + (-8829)/(-883). Is 0 less than x?
False
Let f(d) = 22*d - 118. Let x be f(5). Let p be -15*((-51)/15 - -3). Suppose -p*w + 3*o = -w + 26, o + 3 = 0. Does x = w?
False
Let b(l) = l**3 - 2*l + 3. Let o be b(2). Let i be 0 + 2 - 1712/(-448). Let t = i - -3/7. Does t = o?
False
Let c(z) = 79*z + 395. Let f be c(-5). Are 360/307 and f equal?
False
Let b = 13 - -64. Suppose a - 17 = 2*h - h, -5*h - b = 3*a. Is h greater than -0.2?
False
Let r = 2410 - 2410. Suppose 3*y - 6 = -2*p + 4, 2*y - 8 = -p. Suppose y*o - 3*o + 213 = 0. Which is smaller: r or o?
o
Let z = 30037 + -30036. Do z and -10/219 have the same value?
False
Suppose 172209 = 19*y + 235270. Are y and -3320 non-equal?
True
Suppose -5*n = 3*z - 6*z + 2, -3*z + 4*n = -1. Let i be z + 99/(-12) - -2. Do i and -7 have the same value?
False
Let g = 14.22 - 13.7. Is g > -0.15?
True
Let k = 386 - 230. Suppose 2*t = k - 14. Let l = t - 145/2. Which is smaller: -2/11 or l?
l
Let q = -174/5 + 1541/45. Let f be (20/(-10))/(10/(-45)). Which is bigger: q or f?
f
Suppose -38*v + 40*v - 884 = 0. Suppose v - 440 = w. Is 8 greater than w?
True
Suppose y - 109 = -683. Do -576 and y have different values?
True
Suppose 0 = s - 4*y + 13, -5*y = -17*s + 14*s - 18. Which is greater: 2/66367 or s?
2/66367
Let i = -21 + 66. Let u be (i/(-6))/(3 + (-1278)/424). Let l = u + -28088/53. Which is smaller: 0 or l?
0
Let h be (2/(-3))/((-54)/2106). Suppose -20 = -4*m - 3*c, 2*m - 7*m - 4*c = -h. Are 26/11 and m unequal?
True
Let v be 1/(-7) + 0 - 36156/483. Is v < -16?
True
Suppose 2*g - 3*g = 2*w - 146, g - 151 = -w. Suppose 0 = -15*k - g - 159. Let t = 30 + -50. Which is bigger: t or k?
t
Suppose 4*c - q = -c + 24, c = q + 4. Suppose -c*n + 4*g + 8 = 8*g, 0 = 5*n - g + 2. Which is bigger: 13/10 or n?
13/10
Suppose -2*o = 2 - 4. Let x(l) = -14 + 0*l**3 + 6*l - l**3 + 3*l**2 + 6. Let c be x(4). Is o at most c?
False
Let d = -65/36 - -53/36. Which is smaller: 2/1841 or d?
d
Let z = -5.974 - -6. Let c = z + -34.026. Let q = 33.8 + c. Does -0.2 = q?
True
Let l(b) = 3*b**2 - 9*b + 28. Let p be l(8). Let x = -1625/11 + p. Suppose 5*n = 4*n. Is n > x?
False
Let b = -118.33 - -120.63. Is b less than or equal to 5/126?
False
Suppose -5*c - 918*i = -916*i + 17, -3*c - 3*i = 21. Let s(m) = -5 - 3*m + 1 + m**2 + 2. Let l be s(-2). Which is smaller: c or l?
c
Let t be (8/((-80)/(-15)))/((-30)/(-367)). Let l = -111/4 + t. Which is bigger: l or -8?
-8
Let g = -361.3 + 347. Let y = 9.3 + g. Which is smaller: y or -27?
-27
Suppose 94*u + 33 = 76*u - 57. Let s(d) = -5*d + 7. Let r be s(7). Let z be 1/r + (-2)/(-7). Which is smaller: z or u?
u
Suppose 41165 = p - 62170. Let u = -1445065/14 + p. Let a = u + -116. Which is smaller: -1 or a?
-1
Let q = 483 - 479. Suppose -a + 19 = -4*a + q*c, -2*a - 2*c - 8 = 0. Are -63/16 and a non-equal?
True
Let t(l) = -4*l**2 - 2*l. Let h be t(-1). Let w be 1*h + 1080/(-6324). Let v = 38/17 + w. Is v at least as big as 0?
True
Let a = -7509 + 7482. Is 134 at most as big as a?
False
Let t = -120185/3 + 40938. Is t at least 876?
True
Let u = 2809 + -2810. Which is smaller: 17/114 or u?
u
Let d = -1.11 + 0.11. Let u = d - -0.98. Let a = -2543 - -2543. Is u at most as big as a?
True
Let x = 111 + -115. Let o(t) = -2*t**2 - 4*t + 7. Let b be o(x). Which is bigger: -4 or b?
-4
Let h(v) = 14*v**2 + 11*v - 77. Let n be h(-8). Which is smaller: n or 733?
n
Let a = -42729 - -42729. Which is greater: a or -17/1390?
a
Let j be (-1606)/(-110) + 7/(245/(-21)). Let c(b) = b**2 - 13*b - 20. Let h be c(15). Is h smaller than j?
True
Let o(u) = -u**2 + 5*u - 4. Let x be o(4). Suppose x*b = 2*b - g + 140, 8 = 2*g. Let q = b + 273/4. Are 1 and q equal?
False
Suppose 0 = 3*w - 6, 2*w = 3*p - 398. Suppose -5*n + 11*m = 14*m - p, -m - 86 = -3*n. Is n <= 28?
True
Suppose 5*d = 5*i - 45, -d = 4*d - 2*i + 42. Let p(k) = -k**3 - 9*k**2 - 14*k + 5. Let j be p(d). Let x = -59 + j. Which is bigger: -0.7 or x?
-0.7
Let w be (-1)/16 + 255085/(-9520). Suppose -22 = 3*n + 62. Are n and w equal?
False
Let d = 1533 - 1529. Is d bigger than 56/13?
False
Let b be 3/2*(-660)/(-18). Let w(q) = q**2 + 299*q - 1775. Let a be w(6). Do a and b have the same value?
True
Let v(q) = q**3 + 4*q**2 - q - 3. Let w be v(-4). Let f be (756/1071)/((-1136)/(-136)). Is w > f?
True
Let y be (-1)/(-2) - 206476/(-3). Let v = y - 69531. Let n = v + 707. Which is smaller: n or 3?
n
Let d be ((-4)/(-6))/2*(47 + -1044). Do d and -333 have different values?
True
Let y be (17 - (-1060)/(-40))*2*-7. Is y greater than 14?
True
Suppose 19*p - 12*p = 35. Suppose 2*y + 2*y + 97 = -d, d + 121 = -p*y. Which is bigger: -26 or y?
y
Let c = -192443.9 - -192444. Let i = 9403/16 + -588. Which is bigger: i or c?
c
Let j be (-1644300)/(-220) + (-10)/(-11). Is -1/4 > j?
False
Let g be 48/2256*-22*22 + -4. Is -15 at most g?
True
Suppose 2*r - b - 19 = 0, 4*r - 18 = -4*b + 50. Let s be 52/r + -1 + (-8)/(-12). Let c = s + 32. Are c and 36 nonequal?
False
Suppose 3*o = -0*o - 9. Suppose 221 + 143 = 28*h. Suppose h = 13*v + 78. Is v <= o?
True
Let h be (-29 + 134904/(-48))/(2/(-4)). Which is smaller: h or 5680?
h
Let x = -33 - 252. Let j = x + 285.1. Is j at most as big as -61?
False
Suppose 0 = 50*g + 908 + 192. Which is greater: g or 578?
578
Let t = 27/7154 + -1505229/765478. Which is bigger: -1 or t?
-1
Suppose 5*v - 173 = 2. Let r(a) = 52*a - 654. Let h(o) = 13*o - 163. Let b(k) = 9*h(k) - 2*r(k). Let n be b(15). Which is bigger: v or n?
n
Let g be (4 + -7)/(1 - (-10)/(-4)). Let q(d) = 4*d**2 + d + 1. Let y be q(-1). Suppose -23 = -g*n + 5*r + 113, -r = y*n - 316. Is 79 > n?
True
Let u be (-1453)/2430 + (1386/110 - 12). Which is bigger: u or 0?
u
Let x(q) = -q + 5. Let l be x(7).