 greater: 0.02 or d?
d
Let j be (14/(-518))/(1/(-15760)). Let v = j - 426. Is v > -2/5?
True
Let d = -341 - -332. Which is smaller: -13 or d?
-13
Let r be (12/(-870))/((-48)/(-1455)). Let c = 6/29 - r. Which is smaller: 2 or c?
c
Let y be 443 + (-37)/185 + 9/(-5). Which is smaller: y or 442?
y
Let m be 12/(-78) + 17/26. Let f = -1.6 - -1.62. Let i = -0.12 + f. Which is greater: i or m?
m
Suppose 40 + 12 = 13*k. Let h be (1 + (-21)/12)*-4. Is h less than k?
True
Let f = -143.8 - -144.1. Let x = -1.5 - -1. Let g = x + f. Is 0.4 smaller than g?
False
Suppose 0*v + 4*g + 19 = v, -4*g = 5*v - 47. Suppose -v*o = 3*o + 14. Which is greater: -3/14 or o?
-3/14
Let j(w) = w**2 - 11*w + 31. Let p be j(6). Which is smaller: 4/223 or p?
4/223
Let v = 0.1 + -1.1. Is -461 > v?
False
Let r(g) = -g**3 + 2*g**2 + g. Let s be r(3). Let a = s + 3. Suppose 2*y = 3*p + 12 - 6, y = 0. Which is greater: a or p?
p
Suppose 0 = 850*c - 823*c - 27. Let a be 1 - 19/24*1. Are c and a equal?
False
Let t = 21 + -14. Let m(j) = -94*j + 1976. Let r be m(21). Do t and r have the same value?
False
Let x = 756 + -493. Are x and -1 non-equal?
True
Suppose -3*h = -5*h - 6*h. Is h smaller than 2/1441?
True
Let j(u) be the third derivative of -u**6/120 + u**5/30 + u**3/3 - 3*u**2. Let p be j(0). Let c be 5/(-12)*(-1 + 4). Which is smaller: c or p?
c
Let g be -9 + 30 + -15 + (22 - 2). Which is smaller: g or 35?
g
Let r = -46 + 175. Suppose -4*k - r = -5*u + 8*u, 0 = -4*k. Are u and 1 nonequal?
True
Let d be 5/(-390)*-10*18/20. Is -1 bigger than d?
False
Suppose 607 = -12*f - 557. Is 0 not equal to f?
True
Let j = 86 - 34. Let o = 207/4 - j. Which is greater: o or 2?
2
Let w be 6/33*-1 + 39/33. Let k be ((-8)/(-12))/(52360/5118). Let x = k + -3/374. Which is bigger: w or x?
w
Let a be (3/6)/(14/84) - -4. Which is smaller: -6 or a?
-6
Let f(s) = 10*s - 55. Let i be f(6). Suppose i*m + n = -3*n - 7, -2*n - 3 = 3*m. Let y be (-69)/126 + (-2)/(-6). Is m greater than y?
True
Let p be ((-247)/26 - -9)/((-59)/(-6)). Which is greater: -1 or p?
p
Let c = 209 - 208.2. Is 2 less than c?
False
Let j = -8 - -12. Suppose -25 = -j*g + 5*t, 0*t - t = 2*g + 5. Is g bigger than 0?
False
Let a = -35 + 37. Are a and -100 non-equal?
True
Let o = 178.6 + -177.6. Is -55 at least o?
False
Let m = -3 + 1. Let n = -90521/30 + 3017. Let y = n - 2/15. Which is greater: y or m?
y
Let t = -14 + 20. Let w = t + -9. Let k = w + 2.9. Is k < 1?
True
Suppose -4*c = 3*f - 436 + 102, -2*f - 259 = -3*c. Let p = c + -423/5. Let a(t) = -t**2 + 3*t + 5. Let k be a(4). Does p = k?
False
Let v be (24/9 + -3)*3. Let a = 7 + -6. Let j be (-40)/102 - a/(-3). Which is smaller: j or v?
v
Suppose 2*x - 342 = -42. Suppose -2*b - 3*r = -0*r - 71, 5*b + 2*r = x. Let k be (-6)/(-8) + b/(-16). Which is smaller: 2/7 or k?
k
Let p = 39080 - 313035/8. Which is smaller: p or -50?
-50
Let t = -1947 - -1949.8. Which is bigger: t or -4?
t
Let s = 6561 - 91815/14. Is 3 bigger than s?
True
Let f = -93 - -93. Suppose 5*l = a + 30, 8*a - 3*a = -l - 20. Let c be (-3)/l + (-30)/(-175). Which is bigger: f or c?
f
Let q be -1*(8/(-36) + (-76)/(-18)) + 3. Let b be (-2*1)/(11*7). Is b < q?
False
Let t = -418 + 417. Do 2/475 and t have the same value?
False
Let q(r) = r**3 - 6*r**2 - 5*r - 5. Let i be q(7). Let w = 11 - i. Suppose 5*z = 3*n - 20, 4*z + 3*n + 16 = w*n. Which is greater: -5 or z?
z
Let k = -1162/3 - -777/2. Are 2 and k equal?
False
Let b be ((-6)/52*1)/((-18)/(-48)). Suppose 0 = -4*j + 9 - 1. Suppose -j*s = -0*s - 2. Is s at most b?
False
Let u(z) = z**3 - 3*z**2 - 5*z + 6. Let f = -7 + 11. Let k be u(f). Let c = k + -3. Are c and -2 unequal?
True
Suppose 0 = 2*o - 5 + 3. Let s = 2/7295 + 36461/51065. Are o and s nonequal?
True
Let i = -1180 + 86142/73. Suppose 5*j - q = 475 - 1881, 2*j = -5*q - 557. Let w = j + 280. Is i greater than or equal to w?
True
Let z = -968.4 - -968. Is -2 greater than z?
False
Let h(i) = i - 6. Let m be h(7). Suppose 29*b - 4 = 25. Is b at least m?
True
Let i = -798.7 + 799. Are -0.16 and i unequal?
True
Let q be (1 + 0)/(7/14). Suppose q*u - 2 = -3*y, -3 = -y + u - 4. Let t be (0 - y) + (-10)/(-6). Which is greater: 3 or t?
3
Let g be -8 + (-675)/(-55) - 4*1. Which is bigger: g or 21?
21
Let a(n) = n**2 + 3*n - 8. Let f be a(-7). Let g = -18 + f. Suppose 4*p - 32 = g*t, p - 10 = -4*t + 16. Is 8 smaller than p?
True
Let s be 0*1/(-2 + 3) - 1. Is s smaller than 0.056?
True
Let s(t) = 177*t + 3541. Let n be s(-20). Let v = 63 - 39. Is n <= v?
True
Let b = -927/4 + 232. Which is smaller: -175 or b?
-175
Let z be 4/(-14) + 150/35. Let l = -3 - -8. Which is bigger: l or z?
l
Suppose 4*p + 9 = 2*l - 5, l = -p + 1. Suppose u = -z - 3, 14 - 1 = -5*z - l*u. Let i be (-1 + 2)/((-3)/(15*1)). Is i equal to z?
False
Suppose -5*r = 20 - 30. Let k = 23/14 - 137/126. Which is smaller: k or r?
k
Let z = -1851.9 - -1852. Let o = 1.47 - -0.13. Is o less than or equal to z?
False
Let i be (-1314)/(-8) + (-31)/124. Which is greater: i or 162?
i
Suppose 0 = k - 1 + 5. Let o = 25 + -20. Suppose -r + p - 4*p + o = 0, 9 = -3*r - p. Are r and k non-equal?
False
Let y = -1587 + 1659. Are 72 and y unequal?
False
Let h = -2 - -1.7. Let x = -0.3 + 0.6. Let u = x + -0.4. Which is bigger: u or h?
u
Let b be 28/(-210) + (11/15 - 1). Is -3.1 equal to b?
False
Let w = -413 + 413. Is -2/131 not equal to w?
True
Let k = 21.6 + -22.6. Do -4 and k have different values?
True
Let s be (-19392)/84 + (-12)/(-14). Which is smaller: s or -229?
s
Suppose 25 = -4*s + 29. Let c be 56/144 - s/6. Is c < -7?
False
Let t be -161 + ((-280)/(-80))/(1/2). Are t and -152 non-equal?
True
Suppose 0 = d + 3*h + 5 + 4, -2*d - h = 8. Let o be 1 - (-21)/81*d. Which is greater: -1 or o?
o
Let d = -3106/7 + 444. Which is bigger: d or -756?
d
Let n(w) = -w**3 - 22*w**2 - 42*w - 40. Let y be n(-20). Let a(l) = -5*l - 6. Let h be a(-6). Let k be (-2)/(-21)*h/16. Is k bigger than y?
True
Let m = -4 + 3. Let r = 72 + -82. Let j = r - 13. Which is greater: m or j?
m
Let p = -1090.98 + 1100. Let s = 9 - p. Let t = 0.12 + s. Which is greater: 0.05 or t?
t
Let t(j) = -5*j**3 + 2*j**2 + 8*j + 2. Let l be t(-1). Let h = -1038667/774495 + 181/135. Let m = h - -68866/63107. Which is smaller: l or m?
l
Let u be (6/(-7))/((49/14)/7). Let d be (-2)/4 - 11/22. Which is smaller: d or u?
u
Let n = 6.4 + -6.3. Let r = 50 - 33. Which is bigger: r or n?
r
Let x(z) = -z**3 + 10*z + 12. Let g be (-30)/(-24)*(-2 - 0)*2. Let r be x(g). Are r and 87 equal?
True
Let g(l) = l**3 + 5*l**2 - 8*l - 8. Suppose -2*k + 5*c - 6 = 31, 5*k + 40 = 2*c. Let i be g(k). Suppose 0 = -i*m + 3*m. Is -2/11 greater than m?
False
Let d be (-1 - 13)*(-2)/4. Let y be d/(-882)*1*4. Which is smaller: 0 or y?
y
Let r = 404.2 - 402. Which is smaller: 1 or r?
1
Let o = 3.72 + -110.62. Let y = -107 - o. Does 26 = y?
False
Let m(t) = -3*t**2 + 4*t - 17. Suppose -4*f + 40 = -4*r, r - 20 = -3*f - 6. Let s be m(f). Is s != -102?
True
Let a = 2 - 3. Let g = -1.94 + 2. Let p = -0.06 - g. Is p < a?
False
Suppose 2*o = 4*x + 20, -2*o - 5*x - 14 = 11. Let m = o + -2. Let i be m + 10*(-16)/(-76). Is 1 smaller than i?
False
Let x = 3/68 + -1391/2244. Is -1 equal to x?
False
Let v = 7 + 0. Let p(x) = -2*x - 10. Let m be p(v). Let u = -24 - m. Is 2/33 != u?
True
Let v = 15.117 + -0.427. Let r = v + 0.31. Let s = r + -14. Which is smaller: 2/19 or s?
2/19
Let c = 0.1 - 0.2. Let t be ((-1)/4*-5)/(12/576). Is t at most as big as c?
False
Let r(f) = -2*f**2. Let k = -2 + 1. Let m be r(k). Let w be (3/(-6))/(3 - 2). Which is smaller: w or m?
m
Let g be ((81/(-6))/(-9))/(2/4). Suppose 2*p - 4 = g*p, -82 = -2*c - 3*p. Is 48 equal to c?
False
Let i = 883 + -6103/7. Which is smaller: i or 10?
10
Let g = 18.8 - 23. Let j be (1/2)/((-14)/8). Is j > g?
True
Let n = -1/76 + 169/1292. Which is smaller: 3 or n?
n
Suppose 0 = -2*r + 2*b + 4, 1 + 1 = 2*b. Let i be (4/6 + -1)*r. Let m be 5 + -13 + 3 - 1 - (-50)/10. Is m bigger than i?
False
Let h = -53 + 39. Let w be (0 + (-15)/(-12))*h/21. Are w and 0 non-equal?
True
Let j = 14/5 - 12/5. Let o = -0.02 - -0.12. Are o and j nonequal?
True
Let g = 24964/11 + -2270. Let j = 0.1 - 0. Is j < g?
False
Let j be (-825)/(-160) - (-13 - -3)/(-2). Which is bigger: j or 1?
1
Let w(x) = x**2 + 5*x - 4. Let l be (6 - (-