r: h or r?
h
Let b be -443 - (-46 - (25 - 44)). Which is smaller: -401 or b?
b
Let t(r) = -370*r + 38. Let a be t(-7). Suppose 0 = -13*o + o - a. Let z = o + 3505/16. Which is bigger: z or 1?
1
Let x = 5 - 4.7. Let p be (4/(-36))/(3/18). Is x at most as big as p?
False
Let h be (-51740)/(-6)*14/(-196). Let u = h - -616. Are 1 and u nonequal?
True
Let u be 5*3/6*(-382)/(-714). Let t = 19/14 - u. Is 4/5 greater than t?
True
Let j(w) = 3*w**2 - 4*w + 8. Let d = -67 + 72. Let f be j(d). Let b be 16/(-40) + f/165. Which is smaller: 1 or b?
b
Let p be ((-2)/(-4))/(-7 - (153/18 + -15)). Is -7/1612 greater than p?
True
Let r = -73 + 73.17. Let k = r - 0.096. Let h = 0.154 - k. Is h equal to -1?
False
Let y(k) = -k**3 - 9*k**2 - 3*k - 40. Let r be y(-10). Suppose 24 = 82*q - r*q. Which is bigger: -25/11 or q?
-25/11
Let f = -7 + 1. Let u = f - -5. Let o be (-6 - -2) + (-819)/(-52)*8/39. Which is greater: o or u?
o
Let n = -11893 + 11892. Is n smaller than 4940?
True
Let f = 1730.6904 + -1725. Let y = f + 0.0096. Which is smaller: y or 2?
2
Let m be (5760/(-432))/(74/3). Is m at most 0?
True
Let i = 27025593/56587570 + -7/82130. Let c = i - 9/53. Which is greater: -0.09 or c?
c
Suppose -163574*i = -163554*i - 2060. Which is greater: -1 or i?
i
Suppose -2*d - 3*u + 2210 - 379 = 0, -2*d + u + 1819 = 0. Which is smaller: d or 910?
910
Let o be ((-18356)/130)/(81/360). Which is smaller: o or -627?
o
Suppose 16 = i + 14. Suppose 0 = -j - i*y + 7, -2*j + 0*j - 14 = -3*y. Let t be j + (-66)/(-7) - (-84)/(-196). Which is smaller: t or 0?
0
Let z = -4820.6 + 4829. Which is bigger: 20 or z?
20
Suppose -t + 4*m + m = -25, -4*t + 4*m + 20 = 0. Let f be (-14880)/14 + 12/14. Let u = f - -9556/9. Is t not equal to u?
True
Let b be (34 + -36 - 14177/15)/((-9)/27). Which is bigger: 2841 or b?
b
Suppose -104*k + 8302 = -6362. Which is smaller: 1 or k?
1
Suppose -15*j - 4*m = -17*j - 670, 2*m + 1747 = -5*j. Is j at most as big as -347?
True
Let v be (-2827)/(-55) + 4/(-10). Let c = 77 - v. Suppose -c*y + 25*y = -1. Which is bigger: -2/111 or y?
y
Suppose 6*s - 228 + 0 = 0. Suppose 5*w - s = -4*c - 4, 3*w = -3*c + 18. Which is bigger: 19/2 or w?
w
Let j be 2/11 + (-342)/2926*-7. Is j greater than or equal to 2/16961?
True
Suppose -1931 = 67*d + 2424. Is 40 < d?
False
Let v(r) = -r**3 - 4*r**2 + r. Suppose -200 = -0*d - 8*d. Let h be (-5)/d - (-114)/(-30). Let m be v(h). Which is smaller: -0.7 or m?
m
Let u = -3.6 + 2.6. Let x = 3.29 - -3.41. Which is smaller: u or x?
u
Let p = 1871 - 2689. Which is smaller: -0.2 or p?
p
Suppose -10 + 1 = -3*c. Suppose -418*q + 6 = -415*q. Suppose -p + c*d = 8, 0 = 3*p - q*d - 1 + 4. Which is bigger: p or 0?
p
Suppose -3*j - 34 = -j. Let o = j - -15. Let s be ((-5)/50)/(8/60). Is s >= o?
True
Let c = 11 - 13. Let n = -75 - 5. Let v = -76 - n. Which is smaller: c or v?
c
Let a = 341/16 - 2355/112. Which is bigger: 16/43 or a?
16/43
Let i be (-2634)/(-356)*8/12 - (-36 + 39). Which is smaller: 1 or i?
1
Suppose 4*s = j - 1, -4*j + 4 = 28*s - 25*s. Suppose 4*p = -k + 7, s*p - 9 = k - 4*p. Let w be (-15)/(-16)*4/(-6). Are w and k unequal?
True
Let j = 13161 - 13162. Is j >= 8/1835?
False
Let a = 48 + -50.75. Let t = 39.15 - a. Let c = -42 + t. Which is smaller: c or -1?
-1
Let u be (129/(-5))/(289/2890). Which is smaller: u or -261?
-261
Suppose -4*x + 64*h - 61*h + 34 = 0, -82 = -4*x - 5*h. Is x bigger than 169?
False
Let p = 95 + -119. Let u be ((-92)/(-9))/(-1) + p/(-108). Let t be 9/(-15) - (-2 + (-14)/u). Which is bigger: t or -2/37?
t
Let w(v) = -v**3 + 10*v**2 + 14*v + 8. Let r be w(12). Let u be (r/84)/(1/(-39)). Is 0.1 not equal to u?
True
Let n = 12197 + -2707709/222. Which is smaller: -1 or n?
-1
Let i be 130/(-10)*(-1 - -3). Let n = i - 117. Which is smaller: -142 or n?
n
Let v = -7204.8 - -7205. Let p = -0.17 - 6.83. Let y = p - -11. Is v greater than y?
False
Let h be -7*(71850/105 - -24). Is -4958 smaller than h?
False
Let b be 134*-1*728/56. Is b at most as big as -1741?
True
Let f = -3428/889 + 18/127. Let g(n) = n**2 + 6*n + 6. Let u be g(-6). Let t = u + -9. Is f smaller than t?
True
Let y = 11.342 - 9.342. Which is smaller: y or 37?
y
Let z = -57 + 68. Let n be (-1212)/(-18) - (-6)/9. Suppose 5*y - n = -3. Is z < y?
True
Let x = -17637 - -15016. Do x and -2617 have different values?
True
Let k = -4.8 + 24.3. Let t = k + -19.4. Which is smaller: t or -1?
-1
Let s = 2 - 1.9. Let k = -3795.7 - -3667.7. Which is greater: k or s?
s
Let k = -319 + 574. Let y = -8419 + 8674. Is k at most y?
True
Let j(d) = -d**2 - 92*d + 131. Let v be j(-50). Which is bigger: 2232 or v?
2232
Let d be (-44)/((336/(-45))/(-8))*7. Let c = 382 + d. Is -2 at least as big as c?
False
Let u = 7 + -20. Let v(t) be the first derivative of t**4/4 - 4*t**3/3 - 13*t**2/2 + 6*t - 2. Let o be v(6). Which is greater: o or u?
o
Let i = -310862 - -310860. Let z be (2/(-4))/((-1)/2). Let w = z - 4. Which is smaller: i or w?
w
Let l(x) = -33*x - 132. Let v be l(-4). Suppose v = -21*m + 52 - 115. Let k be -1*((-30)/7)/(-1). Is k greater than m?
False
Let i = -391 - 920. Is i greater than -1309?
False
Let u = -0.21 - 0.09. Let t = 43.6 + -47. Let i = t + 3.34. Which is bigger: i or u?
i
Let a(n) = 4*n**2 + 159*n + 148. Let b be a(-39). Which is smaller: -64 or b?
-64
Let k be (-10)/(0 + -3 - (2 - 4)). Let a be (((-144)/150)/(-6))/((-4)/k). Let s = 9/2 + -5. Which is smaller: a or s?
s
Let q(v) = v**3 + 14*v**2 - 15*v - 18. Let w be q(-15). Let t(o) = 3*o - 76. Let s be t(26). Let j be (7/(-14))/(s/74). Do j and w have the same value?
False
Let f be 8/6*8/(32/3). Let l be -4 + 1 - (-57)/21. Is l greater than or equal to f?
False
Let s(k) = 5*k + 91. Let w be s(-13). Suppose -4*y - 3*c + 37 = 11, -c - w = -3*y. Is 18 <= y?
False
Let n be 3/(-21) - (-1 + (-2)/14). Is -2/15511 at least as big as n?
False
Let o = -46/1713 + 2389819/6852. Are o and 348 unequal?
True
Let k = -127 + 127. Let o = 259/2493 - -2/277. Do o and k have different values?
True
Let x be 2 + 2 + ((-5115579)/393505 - 81/(-9)). Which is bigger: 0 or x?
0
Let n be 22538/19530 + (-2)/(-5). Let j = n - -1/651. Let v be 2 + -1 + 0/(-9). Which is greater: v or j?
j
Let d = -367 + 368. Let w be d/79*2*(-46)/(-92). Which is greater: 0 or w?
w
Let y = 120.2 + -132. Let f = -2.2 + y. Let h = f + 18. Is -6 < h?
True
Suppose -10*o + 1877749 = -148231. Let b = o - 2225308/11. Let y = -298 + b. Is y bigger than -1?
True
Let q(r) = -6*r - 27. Let y be q(-6). Let o = -1 - -13. Let t be (2 - -2)/(-2) + o. Which is greater: y or t?
t
Let v be 7/(-2)*4 - -1. Let y be (9 - (-1210)/45) + 2/18. Let i be y/v + 2 + 0. Which is smaller: i or 0?
i
Suppose -1946 = -17*s + 31*s. Let j be (19*-1 - -1) + 0/s. Is -17 less than j?
False
Let c = -165 + 92. Let j = c + 950/13. Which is bigger: j or 0?
j
Let q(r) = r**3 + 58*r**2 + 161*r - 133. Let a be q(-55). Are 91 and a unequal?
True
Suppose -4*l + 597 = -h, -308*h + 313*h = 2*l - 2913. Which is bigger: -582 or h?
h
Let d = 0.371 - 25.371. Let r = 335 + -311.3. Let k = d + r. Are 1/5 and k non-equal?
True
Let v = -114 - -79. Let a be v/20 + (-2)/8. Let q = -1.231 + 0.931. Is a <= q?
True
Let s be 17*-46*(8 + -16) + 5. Which is smaller: 6263 or s?
s
Suppose 5*d - 9*d = 104. Let h be (-2)/(-1) + (-46 - d). Do -18 and h have different values?
False
Let q(h) = -2*h**2 - 63*h + 123. Let i be q(-33). Let r be i/60 + 832/20. Suppose 0 = -5*l + 159 + 46. Which is smaller: l or r?
l
Let n = -2.0665 - -1.8665. Let z = -5656/41 + 138. Which is greater: z or n?
z
Let t = 8831 - 8489. Are 338 and t unequal?
True
Let j = -2545 + 2528. Let a = -0.4 - 18.6. Let u = j - a. Which is smaller: -4/7 or u?
-4/7
Let f be 14/(-11) - (-16)/16. Let p = -32/3 - -37. Let n = -27 + p. Is n <= f?
True
Let l = -1874.1 + -742.9. Which is smaller: l or 0?
l
Suppose 2*z = -5*t - 66 - 118, 2*t + 79 = z. Suppose 101*y - 106*y - 198 = -f, 4*y = 4*f - 168. Which is greater: t or y?
t
Let s(d) = -2*d**3 + d - 4*d**2 - 4 + d**3 - 4*d. Let i be s(-4). Suppose 3*b + i = 4*b. Is b less than or equal to 8?
True
Let v = -88.98 + 82. Let o = 1.98 + v. Let j = -2/35 + -27/140. Which is smaller: j or o?
o
Let s(u) = 2*u**3 + 9*u**2 - 10*u + 1. Let n be s(1). Is 1/121 bigger than n?
False
Let v(t) = -5*t**3 - 2*t**2 + 2*t - 1. L