38 + 39. Which is smaller: q or 1?
1
Suppose 14*q - 3670 = -787 + 1149. Is q greater than or equal to 288?
True
Let o = -56.67 + 57. Let r = o - 0.4. Let c = 3.7358 + 0.2642. Which is greater: r or c?
c
Let q = 0.06 + 0.04. Let o = 15395/236 + -261/4. Is q at least as big as o?
True
Suppose 11*o - 12*o - 37 = 0. Let s = o - -34. Let j = 6.57 - -9.43. Which is smaller: s or j?
s
Let a = -2/151865 + -2547839083/1670515. Let b = 1528 + a. Which is bigger: 4 or b?
4
Suppose 0 = -5*d + 3*z, 4*d = 5*z - 18 + 5. Suppose d*v + 6 = 15. Suppose 0 = 198*c - 189*c - 54. Is c greater than v?
True
Let s = -25/29853 + 20994284/9105165. Let l = -18/61 - s. Let b(k) = -k**3 - 7*k**2 + k + 4. Let z be b(-7). Which is smaller: z or l?
z
Let w = 276 - 266. Let a(d) = -16*d + 148. Let s be a(w). Which is greater: s or -87/7?
s
Let n = 4914 - 4913.91. Which is smaller: 244 or n?
n
Let g = 90 - -10. Suppose q - 6*r = -2*r - 44, -2*q - 4*r = g. Let z = -57 - q. Does -3 = z?
False
Let q = -43 + 2792/65. Suppose 0 = -o + 198 - 149. Suppose -11*c + o - 60 = 0. Which is greater: c or q?
q
Let w = 2390120 + -50205242/21. Let k = w - -606. Which is bigger: 0 or k?
k
Let a = -5 - -9. Let l = -74/135 - -668/135. Is l > a?
True
Let q = -37 + 85. Let s be (-1484)/q + (-4)/48. Which is smaller: -34 or s?
-34
Let a(y) = 2*y**2 - 10*y - 14. Let k be a(-2). Let f be 10/25 - k/25. Is 0 != f?
True
Suppose -b - 3 - 11 = 0. Let p = b + 26. Let x(r) = r**2 - 9*r - 17. Let u be x(p). Is 18 bigger than u?
False
Let j = -8157 - -8161. Let x = -13 + 4. Do j and x have different values?
True
Let y(z) = z**2 - 8*z + 8. Let h be y(7). Suppose 1322 - 194 = -2*a - o, o = a + 564. Let w = -23126/41 - a. Is h < w?
False
Suppose 4*w - 12 = -2*u, 6*u - 10*u - 3*w + 9 = 0. Is -1/27062 > u?
False
Let i = 865 - 864.956. Suppose 5*v - 22 = -5*m - 7, 4*m + 12 = 2*v. Are m and i non-equal?
True
Let y = -73 - -73. Suppose y = 61*d - 62*d + 19. Suppose 105 = -d*n + 14*n. Which is bigger: 1/4 or n?
1/4
Let o(s) = -s**3 - s**2 - 39*s - 177. Let i be o(-4). Let c = 24 + -1. Which is smaller: i or c?
c
Let i = -51.53 + 52. Suppose 2*f + b = -10, 7*f = 12*f - b + 11. Which is smaller: i or f?
f
Let a = 23798 - 23792. Is 190 at most as big as a?
False
Let f(n) = -n**3 + 2*n**2 + n + 2 + 0*n**2 - n**2. Let w(a) = 41*a + 412. Let m be w(-10). Let t be f(m). Which is smaller: t or -1?
-1
Let d(t) = -t**3 + 25*t**2 - 21*t + 38. Let i be d(24). Let j(k) = 9*k + 55. Let u be j(6). Which is bigger: i or u?
i
Let m = 155789/402 - -221/67. Which is bigger: m or 390?
m
Let p be -21 + (38/57 - (-4)/(-6)). Suppose -7 = -7*r - 119. Which is smaller: p or r?
p
Let t(b) = 2*b**3 + b**2 + 925*b + 3682. Let v be t(-4). Suppose 3*g = -2*k + 2, -3*k + 5*k - 2 = -4*g. Is k less than v?
False
Let h = 8771 + -8252. Does h = 518?
False
Let u be (2/30)/((-20)/(-10150)). Let w = -1458 + 1493. Which is smaller: w or u?
u
Let h = 434 + -434.0105. Let t = -35.9895 + h. Is t less than 0.01?
True
Let z(l) = l**2 + 9*l + 2. Let r be 3 + -5 - 2*2. Let u be z(r). Let x be 7/(2/u*2). Which is bigger: -27 or x?
-27
Suppose 2*l = 2*y - 2, -2*l - 5*y + y - 2 = 0. Suppose 97 = 7*j + 55. Which is greater: l or j?
j
Let l = 1578 - 1552. Is l greater than 18?
True
Let g be (3300/(-175) - -19)*6/(-3). Are 1/1552 and g equal?
False
Suppose 2*m + 11222 = 3*p, -m = -3*p + 9542 + 1679. Is p greater than or equal to 3739?
True
Suppose -40 = 3*d + d. Let y(g) = -g**3 - 13*g**2 + 104*g + 885. Let o be y(-16). Which is smaller: o or d?
o
Let o = 22339432/791 + -28242. Are o and -1/3 equal?
False
Let b(i) = 11*i - 119. Let y be b(11). Let a be y/((48/1173)/(-8)). Do a and 0 have the same value?
False
Let i = -3/8671 - -22036/38629305. Which is bigger: i or 0?
i
Let m = 2699 - 2893.7. Let i = -207.81 - m. Let p = -13 - i. Which is greater: 2 or p?
2
Let d = 13578 + -13578.3. Which is smaller: d or 93/10?
d
Let l be (-2 - -8)/(129/(-3268)). Let v be (-264)/((3/5)/(l/190)). Which is smaller: 351 or v?
351
Let k = -14.1 + -46.9. Let p be (4/(-14))/((-83731)/(-1022) + -82). Are p and k unequal?
True
Suppose 4*t + b = -10 + 43, 5*b + 19 = 3*t. Suppose 4*u = 37*l - 38*l - t, -2*l - u - 2 = 0. Is l < -173?
False
Suppose -4630 - 8810 = -40*x. Which is greater: -5 or x?
x
Let c(w) = -1001*w - 1856. Let s be c(-5). Is s less than or equal to 3149?
True
Let s(z) = -888*z - 2771. Let n be s(-3). Which is smaller: -103 or n?
n
Let s = 352 - 335. Let g be s/2 - (3 + 20/(-8)). Let z = 0.3 - 0.4. Which is bigger: g or z?
g
Let v(z) = z**3 - 3*z**2 + 20*z - 138. Let p be v(5). Let c(u) = u**3 - 3*u**2 + 4*u. Let l be c(2). Which is greater: p or l?
p
Let y(r) be the first derivative of r**4/4 + 2*r**3/3 - r**2/2 + 7*r - 212. Let x be y(3). Which is smaller: x or 195/4?
195/4
Let t = -109 - -132. Let l be -4 + -1 + t/(92/24). Does -11 = l?
False
Let z be ((-54)/(-72))/(6/(-8)) + -157. Is z at most -164?
False
Let j = -57477 + 57481. Let w = 12 + -7. Which is bigger: j or w?
w
Suppose -s - 4 = 2*s + 4*p, 4*s + 5*p = -4. Let i be -2*((-18)/s - -4). Are i and -9/41 nonequal?
True
Let o(r) = 9*r - 389. Let w(t) = 3*t - 388. Let h(u) = -2*o(u) + 3*w(u). Let d be h(-43). Which is smaller: 10/57 or d?
10/57
Let p be (440 + (30/(-6) - -4))/(-1). Let k = -553 - p. Which is greater: k or -338/3?
-338/3
Let v be -4 + ((-429)/(-675) - 94/1175). Are v and -2 nonequal?
True
Let m = 267/479 - 3956029/7095427. Is 0 at least m?
True
Let w = -448/9 + 50. Let g = 3/332 - 2769/85988. Let d = g - -536/777. Is d smaller than w?
False
Let k(l) = -3*l**2 + 18*l + 8. Let t be k(9). Let o = -29 - t. Suppose 2*h - o = -16. Is 44/3 at most h?
False
Let o = -126.6583 + 9.7453. Let y = 117 + o. Which is greater: y or -1/2?
y
Let s be -5 + (2 - 3) + 15. Suppose 4*j = 3*g, -38*j + 3 = -3*g - 33*j. Which is greater: s or g?
s
Let m(q) = q - 14. Suppose 0 = -5*v - 2*f + 160, -5*v + 4*v = -5*f - 32. Let b = -16 + v. Let n be m(b). Is -14 smaller than n?
True
Let t = 160.342 - 0.342. Let g = 157 - t. Is -1 bigger than g?
True
Let c(d) = -d + 0*d + 941 - 951. Let b be c(-15). Let g be 4/(-1 + b) - 1. Are -1/6 and g unequal?
True
Let l be 129/(-258) + (-94)/(-140). Suppose -3*u + 6 = -6*u. Let n be u + 1 + 0/(-1). Which is bigger: l or n?
l
Let v(a) = -14*a + 169. Let u be v(12). Is u at least -113?
True
Let q = 1 - 2. Let r = 43/26 + -304/117. Is q <= r?
True
Let o = 653.8 + -654. Let x be (-68)/18 - (-6)/9. Which is smaller: x or o?
x
Suppose q + 31 = -3*w, 2*q = -8*w + 4*w - 64. Let f = q + -61. Do -97 and f have different values?
True
Let q be (-440)/16*-6 - (-6)/(-2). Let j = 172 - q. Which is bigger: j or 12?
12
Let x = 19365.6 - 19366. Is x at most 21/26?
True
Let o be (666/(-10))/(132/(-660)). Let s be 2/(0 - 9/o). Let b = -118 - -45. Is b less than or equal to s?
False
Let g = -0.2 + -0.3. Let f = g + 0.6. Let y = -3532 - -3531.6. Which is greater: f or y?
f
Let k(a) = 104*a + 527. Let b be k(-5). Is b at most 232?
True
Let z = 76.94 - -58.26. Is z less than -1/2?
False
Let k be (-24)/(-60) - (-11392)/(-80). Which is smaller: k or -141?
k
Let h(x) = -2*x**3 + 26*x**2 + 58*x - 53. Let t be h(13). Which is greater: 7714/11 or t?
7714/11
Let x = 3175635/52 - 61068. Let u = -25 - -93/4. Let l = x + u. Is l equal to 1.9?
False
Let s(l) = -l**3 - 10*l**2 + 9*l - 7. Let a be s(-11). Let n(z) = z**2 - 5*z - 12. Let u be n(7). Suppose 23 + 5 = u*c. Is a less than or equal to c?
False
Let z be 3 + -5 + (-201)/(-27) + 3. Let u = z + -1480/171. Let y be (-6)/9*9/(-6). Which is smaller: y or u?
u
Suppose -3*q = 37*q + 26*q. Is 6/427 less than q?
False
Let s(g) = 12*g - 1207. Let w be s(103). Which is greater: w or 234?
234
Let q be 33/(-33)*(3 + -3). Which is bigger: q or 2/9231?
2/9231
Suppose -3879 = 4*y - 12087. Do 1 and y have different values?
True
Let a be (18 + -20)/(5 - 7)*11981. Is a <= 11982?
True
Let z(w) = 5*w - 50. Let y be z(8). Let f(h) = -2*h**2 - 21*h - 9. Let t be f(y). Is t smaller than -6/397?
False
Let t(z) = -z**3 + 19*z**2 + 18*z + 45. Let h be t(20). Suppose h = 5*l - 4*d - 0, -d + 15 = 2*l. Is l greater than or equal to -2?
True
Let x = 43.1 - 290.1. Which is greater: 7 or x?
7
Suppose 3*x - 4*i + 0*i - 74 = 0, 0 = x + 4*i - 14. Let g = x + -19. Suppose 5*r + 3*y - 88 = 0, -g*y + 71 = 9*r - 5