s?
0.1
Let f be (4600/(-22))/(-5) - (-2)/11. Let a be (2/(-5))/((-9)/(-1005)). Let b = a + f. Which is greater: -4 or b?
b
Let o(r) = 4*r**2 + 23*r + 57. Let i be o(-4). Let n = 75 - 47. Which is smaller: i or n?
n
Let n(c) = c**2 - 5*c + 10. Let o be n(4). Let b be ((o/1)/1)/(-1). Are -5 and b non-equal?
True
Let l = -14 + -312. Let u be 20/(-50) - l/(-10). Let q = 131/4 + u. Is q greater than or equal to 0?
False
Let g be (10/(-414))/(-1) + 156/1794. Let x = 0 - 0.3. Let m = x - -0.1. Which is smaller: m or g?
m
Let w = 511 - 499. Suppose 75 = 3*p - 42. Suppose 6*v = 3*v + p. Is w at least v?
False
Let v = -6 + 7. Let n = -358 + 12529/35. Which is greater: n or v?
v
Let k = 1104 + -962. Is -5 at least as big as k?
False
Let t = 1140 + -1140.13. Let i = 601/21 + -85/3. Which is smaller: t or i?
t
Suppose 36 = -3*i - 2*v - 27, 3*i = -v - 63. Which is smaller: -87/4 or i?
-87/4
Let j(x) = 2*x**2 + 7*x - 10. Let v(z) = -z**2 + z + 1. Let b(s) = j(s) + 3*v(s). Let o be b(9). Suppose -2*h = o*a - 0*h - 4, h - 1 = -2*a. Is -2 >= a?
False
Let d be (-17)/(-3) + ((-4)/(-3))/4. Suppose -257 = -d*s - 53. Is 33 at least as big as s?
False
Let x be 2 + -6 + (-119)/7. Let p be (2 - x/(-9))*3. Let c be (-2)/8 + (-2)/(-40). Is p at least as big as c?
False
Let r = -74 - -293/4. Let s = r - -5/4. Is 5 at least s?
True
Suppose 5*v - 7 + 1 = d, -2*d + 2*v - 52 = 0. Do d and -36 have different values?
True
Let h be 726/(-8) - (-14)/((-168)/(-9)). Let t be 4/12*h/(-3). Let s = -0.3 - -0.5. Which is smaller: s or t?
s
Let w(g) = g**2 + 7*g - 6. Let z(q) = 2*q**2 + 6*q - 5. Let t(r) = -3*w(r) + 2*z(r). Suppose 0 = 11*n - 3*n - 72. Let m be t(n). Is 6 > m?
False
Let f = 10349 + -31360/3. Is f smaller than -105?
False
Let c be 9596/(-8) + 3/(0 - -6). Which is bigger: c or -1197?
-1197
Suppose -p - 146 = -0*p. Let k = p - 4. Let a be (-56)/30 + 20/k. Is a greater than or equal to 0?
False
Let n be 117/26 - (-6 - -1)/(-1). Which is greater: 153/2 or n?
153/2
Suppose -m - 5 = -6*d + 3*d, -5*d + 7 = -3*m. Let g be ((-3)/2)/((-6)/16). Which is smaller: m or g?
m
Let k = -833/6536 + 2/817. Which is bigger: k or 1.48?
1.48
Let w = 7.7 + -8.17. Let d = w + 0.37. Is d equal to -0.2?
False
Suppose 0 = -5*a - 44 + 49. Let f(w) = -2*w**2 + 4*w - 2. Let b be f(a). Is 2/11 greater than b?
True
Suppose 16 - 40 = 8*g. Let w be 1207/(-357) + (2/2)/g. Which is greater: w or -5?
w
Let w(b) be the first derivative of -2*b**3/3 + 8*b**2 + 14*b + 16. Let f be w(9). Let n be (-33)/7 - 10/35. Are n and f non-equal?
True
Let i = -4976/9 - -552. Let o = i + 65/63. Which is greater: o or 0?
o
Let o(d) = 3*d - 18 + 52 - 17 - 21 + d**3 + 5*d**2. Let k be o(-4). Which is smaller: k or 4?
k
Suppose -2*f + b - 3 = 0, 2*f = -2*f + 4*b. Let z be ((-3)/f)/(7/(-14)). Let o = -6 - -4. Is o less than or equal to z?
True
Suppose -5*j + 355 = -4*w, 3*j - 447 = 3*w + 2*w. Let k = 37 + w. Is k at most as big as -54?
False
Let i = -29 - -31. Suppose -2*b = 2*y - b + 10, 4*b - i = -2*y. Is y != -3/4?
True
Let s = -14.996 + 0.796. Which is smaller: -3 or s?
s
Let k = -413/172294 - 3/622. Let n be (-2)/7 + (-9)/(-7). Is n bigger than k?
True
Let m be 3*(-1 + 0 - -2). Let r(d) = -d**3 + 5*d**2 - 6*d + 3. Let h be r(3). Suppose f + 5 - h = 0. Which is smaller: f or m?
f
Let l be 0 - (30/38 - (-6)/(-6)). Let w(d) = -d**3 - 5*d**2 + 5*d - 6. Let a be w(-6). Which is bigger: a or l?
l
Suppose -35 = -2*p - o, -3*o + 22 = -4*p + 67. Let u be (-6)/(-45) + 58/p. Let f be (-1)/u + (-15)/20. Is f greater than or equal to -1/3?
False
Let k = 0.28 - 15.28. Let q = 96.8 - 112. Let u = k - q. Which is greater: u or 0?
u
Let g be (3/2)/(84/32). Suppose -5*l + 5 = -10. Let w(u) = -u**2 + 5*u - 6. Let y be w(l). Which is smaller: y or g?
y
Let q = 3 + -2.9. Let y = -79 - -97. Which is smaller: q or y?
q
Suppose -3*f + 11 + 136 = 0. Let s = f - 29. Let a be (s/(-30))/((-4)/3). Do 1 and a have the same value?
False
Let i(o) = -3*o + 4. Let c(z) = z - 1. Let u(d) = -4*c(d) - i(d). Let g be u(-6). Suppose g*w - 6 = 7*w. Is -6 > w?
False
Suppose 3*r = 4*k + 69, 31*k - 26*k - 23 = -r. Which is smaller: r or 19?
19
Let d = 128 - 128.014. Let j = d - 0.052. Is -0.1 less than or equal to j?
True
Let b be (2 - 1)*(4 - 205 - 4). Which is bigger: b or -206?
b
Let g be 2/(-1)*(-5)/10. Is 10 at least g?
True
Suppose -16 = -d - q, -4*d + 2*q + 64 = -q. Suppose -3*f + 3 - 102 = 0. Let r = -16 - f. Are r and d equal?
False
Let l = -1.844 + -65.116. Let y = l - -67. Which is smaller: 0.3 or y?
y
Let x = 108 + -73. Let g = -23 + x. Which is bigger: -2/3 or g?
g
Let s be 5/(2110/1694) - (-43 + 47). Is 0 at most as big as s?
True
Let o(b) be the first derivative of -b**3/3 - 5*b**2 + 23*b - 32. Let n be o(-11). Which is smaller: n or 10?
10
Let v(h) = h**2 - 7*h - 128. Let a be v(29). Is a at least as big as 1528/3?
True
Let i = 74 + -73. Let r be 4/24*-2*3 + i. Is -5/11 > r?
False
Suppose 0 = -4*k + 5*a - 77, 3*k - 2*a + 32 = -17. Let s(w) be the first derivative of w**2 - 5*w - 1. Let r be s(-4). Are r and k non-equal?
False
Suppose 780 = -224*r + 236*r. Is 53 > r?
False
Let s = -9.11 + -6.89. Is s less than or equal to -1/3?
True
Let g = -12 + 3. Let p = -1209.1 - -1209. Which is bigger: g or p?
p
Let f = 0.21 - 0.23. Let o = -90 + 92. Which is bigger: f or o?
o
Suppose 5*x = 5*m + 30, 4*m - 2*x + 8 = -6*x. Let l(h) = 3*h**2 + 6*h + 1. Let i be l(m). Let z = -23 + i. Is z at least as big as 6/7?
True
Let b be 2/(-144)*-196*8*-1. Which is bigger: b or -22?
b
Suppose 0 = -3*i - 98 - 118. Let q = -67 - i. Which is greater: 4 or q?
q
Let k = 72.9 + -73. Is 27 != k?
True
Let j = -2.02 - -1.02. Let l(c) = -c**2 + 3*c - 3. Let s be l(2). Does s = j?
True
Let x = -0.282 - -70.382. Let c = 71 - x. Is c greater than -0.2?
True
Let a = 84/29 + -1993/638. Let d = 3/11 - a. Let n = 3.1 - 2.1. Is n at least d?
True
Let r = -80.4 - -80.6. Is 12/17 less than r?
False
Let v be (96/15)/((-3)/(-15)). Let o = v - -10. Let x be (-9)/o - 0/1. Which is bigger: x or -1?
x
Let c = -1009 + 976. Which is bigger: c or -2?
-2
Let c = 271198/151 + -1796. Is -1 >= c?
False
Let s be (-2)/(2/4 + -1). Let a(o) = 9*o - 152. Let f be a(17). Which is bigger: f or s?
s
Let i = 562 + -109. Which is bigger: i or 452?
i
Suppose 174*y = 162*y + 4068. Which is bigger: 337 or y?
y
Let r(d) = d**2 - 10*d - 1. Let v be r(10). Let k be 2/(-4) + 511/(-70). Let w = k - -239/30. Is v at most as big as w?
True
Let l = 8113/6 - 2797/2. Let o = l - -46. Suppose -4*z = -4*c - 8, 7*c + 3 = 9*c + 5*z. Are c and o unequal?
True
Let z = -36777/25 + 1471. Which is smaller: z or -0.129?
-0.129
Let v = 0.072 + 0.1. Let t = v + -0.072. Which is bigger: t or -7?
t
Let m = 457.1 - 457. Let b = -0.3 + 14.3. Do b and m have different values?
True
Let p = 0.055 + -4.055. Is p at least as big as 7?
False
Let x(u) = -3*u - 12. Let p be x(-17). Suppose p = 5*l + 2*k, 3*l - 2*l - 4*k - 21 = 0. Is l greater than 9?
False
Suppose -2*b + 274 = 4*h, -6*h + 558 = 4*b - 3*h. Is 138 > b?
False
Let q be ((-12)/35)/((468/(-60))/13). Is -156 less than q?
True
Let j be (-2892)/(-520) - 6/(-15). Let m = j - 11/2. Which is greater: 0 or m?
m
Let m(k) = -2*k**2 + 15*k - 22. Let l be m(11). Which is smaller: l or -101?
-101
Let m be (-696)/(-2)*(18/(-3))/12. Is m not equal to -174?
False
Suppose 5*a + 5*d = 0, 0 = -5*a - 0*a + 3*d. Suppose -3*l + 0*l + 18 = a. Suppose l*i - 10 = b + 2*i, -4*b + 5*i = 18. Is -1/2 smaller than b?
False
Suppose -2*z - 7 = -8*m + 5*m, 3*m - 31 = -4*z. Suppose -z*y + u = 0, 0 = -y + 3*y - 2*u + 6. Is 1/9 <= y?
True
Let t be (180/(-27))/((-1)/(-3)). Let c = 16 + t. Which is smaller: c or 0.2?
c
Let s = 383.8 + -383. Are -21 and s unequal?
True
Let t(s) = -8*s - 6. Let p be t(-4). Are 2 and p nonequal?
True
Suppose 0*f - f + 2 = 0. Suppose -3*x - 5 = f*x. Let a(g) = 4*g**2 + 2*g + 1. Let w be a(x). Is -2 smaller than w?
True
Let m be 2/((-8)/10154) - (-5)/(-2). Are m and -2541 equal?
True
Let d = -3/214 - -909/19046. Let y = d + 1415/267. Let c = 6 - 2. Which is smaller: y or c?
c
Suppose -l + 5 = 0, 6*l + 167 = -2*g + 9*l. Does g = -386/5?
False
Let q be 0 - (376/(-2) + 15/15). Are 187 and q non-equal?
False
Let c be 4*5/(-100) + 780/25. Let q be 0 - 0/(1 - 3). Is q bigger than c?
False
Let d = -0.1