r: w or 1?
1
Let p be 1/2 - (-6178)/(-12372). Let y = p + 1988/114441. Are y and -1 unequal?
True
Let v(f) = -f - 5. Let g be v(11). Let p = 31 + g. Suppose -2*c + 5*c + p = 0. Is -3 greater than c?
True
Suppose 2*k + 137 = 5*y, k + 12 = -4*y + 119. Let b = y - 55/2. Which is smaller: b or -1?
-1
Let u = 19.03 - -2.97. Is 12/13 less than u?
True
Let k = 10 - 10. Suppose k = d - 3*s - 15, d - 3*s = -4*s - 5. Is d greater than 2/7?
False
Let l(t) = 2*t - 8*t + 0*t - 17 - 36. Let r be l(-12). Which is greater: r or 20?
20
Suppose 5*d = 5*v - 625, 3*v - 4*d = v + 254. Let f be -1*4 + 729/(-6). Let s = v + f. Is s > -2?
False
Let k(n) = -n**3 + n**2 + 5. Let a be k(0). Suppose -x + 4*o + 12 = 0, 7 = -x - 2*o - a. Let j be (-20)/13 - x/2. Is j smaller than 1?
True
Let r be (-1 - (-1)/3)/((-1)/3). Suppose y - 3*y + 2*m = r, y + 1 = -2*m. Which is greater: y or -1/29?
-1/29
Suppose 2*o = 80 - 2. Let f = 37 - o. Which is smaller: -16/7 or f?
-16/7
Let r = 0.1 - 3.1. Let p = -5 - r. Let w = 170.86 - 165.86. Is p > w?
False
Let z = 1 + 2. Let s = 0 - z. Let y = 13 - 18. Which is smaller: s or y?
y
Suppose -2*w - 5*o - 7 = 0, -2*w + 2*o = -7*w + 35. Let r = -8 + w. Let p be (-1 + 3)/(1 + r). Is 2/9 less than p?
True
Let k = 1.4 + 10.6. Let q = 11.9 - k. Suppose -4*r - 24 = 5*w, 3*w + 9 = 5*r + 2. Are q and w equal?
False
Suppose 2*m = 5*b - 2*b + 7, 5*m = -4*b - 40. Let o = 1 + 3. Suppose -2*u - 12 = o*u. Is m bigger than u?
False
Let m be 6/21 + 9/((-31374)/912). Let q = 0 - -0.1. Is m smaller than q?
True
Suppose 60*w - 2668 = 64*w. Are w and -667 equal?
True
Let h = -572/15 + 133/3. Which is greater: h or -1/6?
h
Let c be -2*((-1925)/(-14))/(-11). Do c and 25 have the same value?
True
Let a be (4 - 37622/9399)/(4/6). Which is bigger: a or 1?
1
Let n(q) = q + 4. Let r(h) = -h**3 + 7*h**2 + h + 3. Let c be r(7). Let t be n(c). Let j be t/(-30) + (-6)/(-9). Is j at least as big as -1?
True
Suppose 0*z = -z + 2. Suppose -3*p + 26 + 5 = z*s, 0 = -3*p - 3. Let h = 17 - s. Is 1/5 less than or equal to h?
False
Let z be (-3 - (-4108)/8)/(-2). Let q = z + 253. Let y = -4 + 4.1. Which is greater: q or y?
y
Let p = 493 - 493. Which is greater: -25 or p?
p
Suppose 2*l + 2*r - 124 = 66, 3*l + 2*r = 288. Let z be 2/(-3) + l/(-6). Does -17 = z?
True
Suppose 4*o - 3*p = -7480, 5*o + 5*p + 3717 = -5633. Is o greater than -1869?
False
Let m = -33 + 53. Let f be ((-1)/2)/((-5)/m). Let z be (-1 + f)*1 - 3. Which is smaller: z or -5/7?
z
Let f(v) = -3*v**2 - 59*v - 19. Let w be f(-22). Which is bigger: w or -170?
-170
Let h = -2461/63812 + 1/1204. Suppose 29*o - 4 = 25*o. Is o smaller than h?
False
Let j = 25/21 + -4/3. Which is smaller: -5 or j?
-5
Let h be 1 - -2 - (-598 - 5)/1. Let o be (8/h)/(6/9). Which is bigger: o or 1?
1
Suppose 3*u = 4*u - 4*y - 21, -y + 33 = 4*u. Suppose -z + u = -4*z. Let o = 4 + z. Is -1 at most as big as o?
True
Let f be 3 - ((-1962)/6 + 9). Is f at least as big as 320?
True
Let o = 7/13 + -290/273. Which is bigger: -1 or o?
o
Let m(y) = y**2 - 10*y - 5. Let z be m(8). Let c be z/(3/(-1)) + 1. Suppose 32 = 5*r - 3*q, 4*r - 4*q = 40 - c. Is r less than 4?
False
Suppose 4*c - 75 = -v, -10*c = -11*c + 2*v + 21. Is c > 170/9?
True
Suppose 7*c + 8 - 22 = 0. Let w be (-424)/60 + c - -4. Which is greater: -1 or w?
-1
Suppose -8 = -2*d - 2*d. Let a = -0.816 + 0.036. Let o = a + 0.68. Is d equal to o?
False
Let r = -110.3 - -110. Which is bigger: 43 or r?
43
Let o = -0.471 - -0.071. Is 6 not equal to o?
True
Let y be (0 - -4)*(-2)/(-4). Let b = 38 + -49. Let j = b - -12. Which is bigger: j or y?
y
Let r = -1097/36 + 121/4. Which is greater: -0.028 or r?
-0.028
Let f(k) = 2*k + 68. Let l = 129 - 163. Let p be f(l). Let z = -0.45 + 0.05. Do z and p have different values?
True
Suppose -4*s - 52 = 96. Let w = -37 - s. Let o be (-2)/4*52/429. Which is smaller: o or w?
o
Suppose 3 = -2*u + 7. Let c be (4 - u)*(-5)/(-2). Suppose c*b + 7 = -2*v + v, -2*b - 16 = -4*v. Are -1 and b equal?
False
Suppose 16*f - 18*f + 4*t = 146, -2*t - 6 = 0. Is f greater than -79?
False
Let u = -335465 + 166055231/495. Let q = -1/45 + u. Is 0 at most as big as q?
True
Let a(g) = -g**2 - 14*g + 17. Let w be a(-15). Suppose -3*l - 9 = 0, 2*x - l + 7 = w. Which is smaller: -3 or x?
x
Let p(s) = -2*s - 5. Let m(b) = 3*b + 10. Let n(k) = -3*m(k) - 5*p(k). Let v = 10 - 6. Let z be n(v). Is 1/3 at least as big as z?
True
Suppose -11*h + 5*h - 90 = 0. Let p = -15 - h. Which is smaller: p or 1/49?
p
Let g be 33*6/45 - 4/10. Suppose 0 = -4*a + 5*a + g*a. Is a greater than or equal to 11?
False
Let f = 54 + -38. Suppose -4*t + 0*t = f. Is -4 < t?
False
Let y(d) = d + 4. Let o be y(16). Suppose 0 = 4*v + v + o. Is 1/3 > v?
True
Suppose 0 = -q - 5, -7*m - 133 = -5*m + 3*q. Does m = -57?
False
Let d be (-656)/10 - (12 - 11). Which is smaller: d or -68?
-68
Suppose 18 = 3*s + 3, 192 = 4*t + 4*s. Let l = t - 41. Are l and 13/5 equal?
False
Let n be 1*((-83)/(-3) + 1) - 1. Which is bigger: 29 or n?
29
Let b be (-21)/2*(-220)/66. Is b > 38?
False
Let s = 452 - 390. Which is smaller: 0.2 or s?
0.2
Let n be (-245)/(-15) + -4 + (-2)/6. Let i(d) = d**3 + 2*d**2 - 3*d + 1. Let k be i(2). Is k less than or equal to n?
True
Let g(k) = -k**2 - 17*k - 66. Let c be g(-6). Are c and 21/17 equal?
False
Let s(g) = g**3 + 3*g**3 - 2*g**3 - 2*g - 1. Let k be s(2). Suppose 3*y + 0 = 4*v + k, -4*y = 4*v - 24. Which is greater: v or 7/5?
7/5
Let l = -3.1 + 3. Let a = 0.1 - l. Let b = 19 - 15. Is b greater than a?
True
Let z = 1787/3 + -601. Suppose 0 = 7*j + 139 - 111. Is j less than or equal to z?
False
Suppose -2*n = -14 - 2. Suppose 2*q - n = 3*s, s + q - 4 = 6*s. Let f = 23 - 139/6. Do f and s have different values?
True
Let f = 33 + -27. Let g be (1 - 0)/(f/(-120)). Is g at least as big as -20?
True
Let o = -25 + 37. Suppose -3*k + 3 = 3*d - 8*k, 0 = -4*k + o. Suppose -42 - 144 = d*n. Which is smaller: n or -30?
n
Let z = -1508 + 2149. Is 641 at least as big as z?
True
Let q = 918.95 - -2.05. Which is smaller: 0 or q?
0
Let k = 81 + 149. Let c = k + -231. Let a = 0.05 + 0.65. Which is smaller: a or c?
c
Suppose 0 = 5*q + 3*k - 7 - 99, -2*k = 4*q - 84. Let r = 40 + -14. Suppose -2*y + 18 + r = 2*o, -8 = -4*o. Is q != y?
False
Let u = 5 - 11. Let i be (-4)/14 + 200/14. Suppose 4*x + i = -14. Which is bigger: u or x?
u
Let d = 0.36 - -109.64. Let l = -109.9 + d. Which is smaller: l or 25?
l
Let i be (-2)/(-1) + 119/(-51). Which is smaller: -1.7 or i?
-1.7
Let y(b) = 7*b**3 - 2*b**2 - 2*b - 1. Suppose -6*n = -n - 4*q + 13, n + 5*q = 9. Let r be y(n). Which is smaller: r or -9?
-9
Suppose 0 = 5*f + 5*j + 10, 0*f + 2*j + 9 = 3*f. Let b be ((-484)/(-363))/(17/9). Are b and f nonequal?
True
Let t be 80*-5*(-12)/(-20). Is t <= -4?
True
Let g be 1/((-2 + 6)/(-8)). Let y be (-4)/(-14) + (-69)/21. Let r be -6 + 5 + g - y. Is r less than 0.04?
True
Let s be (-24)/18 - (-13306)/(-6). Let r = 155333/70 + s. Which is smaller: r or 0?
0
Let w(t) be the second derivative of t**5/20 + t**4/2 - t**3/2 + t**2/2 - 7*t. Let d be w(-4). Let a be (-6)/45 - 309/d. Is a smaller than -9?
False
Let y(r) = -r**2 - 11*r + 21. Suppose -2*u + 47 = -4*l + 1, -4*l - 4*u - 28 = 0. Let z be y(l). Suppose -n - 62 = -3*n. Is z equal to n?
True
Let c = 66449476027 - 13938641439906038/209763. Let g = c + 2/7769. Let p = 53/108 - g. Which is smaller: 1 or p?
p
Let d be (-1634)/4 + (-7)/7. Let s = d + 423. Which is smaller: 13 or s?
13
Let w = -216 - -216. Which is greater: w or 0.013?
0.013
Let m = 13 + -13. Let d = -371.9 - -348. Let n = -25 - d. Which is greater: n or m?
m
Let k = 1373 + -1374. Let z = 197/216 - 1/27. Which is smaller: z or k?
k
Let s(k) = -k**2 + 0*k**2 + 3*k + 23 - 16*k + 1. Let h be s(-17). Let m be (-138)/h - 3/2. Is m bigger than 2?
False
Let c = 305 + -307. Let b = 977/8 - 123. Which is greater: c or b?
b
Let q be -1*(-13)/(13/24). Suppose -q = 3*v + 24. Is v at most as big as -15?
True
Let g(i) = -i**3 + 13*i**2 - 13*i + 3. Let c be g(5). Are c and 138 nonequal?
False
Let b be 12/(-45)*-36 - 4. Suppose 0*q + 15 = 3*q. Which is smaller: b or q?
q
Let q = 2423/5 - 483. Which is smaller: q or 3?
q
Let u = 51 - 79. Let s = u + 29. Is 7/6 < s?
False
Let n = -2.9 - 1. Let q be 5/2*(-41)/205. Does q = n?
False
Let t = -91/150 -