aller: 4 or v?
v
Let y = -3874200764/2115765 + -4/235085. Let h = 1828 + y. Which is bigger: h or -3?
-3
Let m = -338.2 + 338. Let n = 0.2 + 0.3. Which is bigger: n or m?
n
Suppose 211 + 179 = 10*k. Are k and 315/8 equal?
False
Let j(o) = 22*o - 364. Let p be j(15). Let f be 2/(-3) - 97/3. Which is smaller: f or p?
p
Let s be 78/52 - (6 - 1 - 2). Which is bigger: s or 15?
15
Let p be 6/4*(-5 + -13). Let q = p + 32. Suppose -2*l + 0 = q*f + 10, 0 = -4*f - 5*l - 8. Are -5 and f nonequal?
True
Suppose -q - 3*p + p = -6, 4*p - 28 = -4*q. Suppose -59*s = -55*s - q. Which is smaller: 3 or s?
s
Let s be (4/(-4 + 12))/((-6)/4). Is -1.39 greater than s?
False
Let p = 0.241 + -0.301. Is p less than -5?
False
Suppose 3*x - 17 + 77 = 0. Let l = 26 + x. Does -11 = l?
False
Suppose -7*s - 6 = -2*l - 10*s, -4*l - 2*s = -12. Suppose 2*x + 6*o + 15 = 3*o, -3*x - 4*o = 24. Let w be (-2)/(-5) + x/(-10). Which is smaller: l or w?
w
Let y = 369.4 - 341. Let c = 28 - y. Is -1 at most as big as c?
True
Suppose -3 + 1 = -2*o. Let m = 25 - 99. Let h be m/(-232) + (-1)/4. Which is bigger: h or o?
o
Let u be (-12)/15 + (-23286)/(-20). Let m = -1134 + u. Let y = -29 + m. Which is greater: y or 1/3?
y
Let d be (-150)/(-39) + -4 + (-80)/(-13). Suppose f = -2*w + d, -w - 12 = -5*w + 4*f. Which is bigger: w or 4?
4
Let i(g) = -g**3 + 6 + 0*g + 7*g**2 + 4*g + 2*g**3 - 3*g. Let n be i(-7). Do n and 3/20 have different values?
True
Let y be (-296)/10*55/(-154). Are -1 and y nonequal?
True
Suppose m - 2*m = 21. Let b be 6/21 + (-15)/m. Which is greater: 3/68 or b?
b
Suppose 4*u + f - 142 = 0, -2*u + 0*u = -3*f - 64. Suppose 3*w = 3*g - 27, u = 4*g - 3*w - 0*w. Let p be 3 + g + -1 - 4. Which is greater: p or 4?
p
Let k = 349 - 238. Let b = -117 + k. Let h = 0.2 - 0.1. Which is smaller: h or b?
b
Let s be (-181)/(-39) + (11 - 13). Let n = -17/13 + s. Is -0.05 greater than n?
False
Suppose 0 = -2*w - 11 + 1, -4*g = -2*w + 14. Let h be (-2)/(-3) + 10/g. Do h and -2/9 have different values?
True
Let y(r) = 44*r + 43. Let v be y(-1). Is 3/40 >= v?
True
Let p = -983 + 883. Is p less than or equal to -99?
True
Suppose 4*g - 2 + 22 = v, -4*g - 20 = 0. Is v equal to 2/201?
False
Let y = -1783/110 + 186/11. Let o = -3/5 + y. Suppose 0*q + 3 = -3*q. Is q > o?
False
Let g = 3 - -6. Suppose 2*i - g = -53. Let n be i/18 - (-6)/27. Which is bigger: n or 2?
2
Suppose 4*u - 6*u - 6 = 0. Let b be 1 + -7 - u - -11. Suppose 0 = -k - 3*a, 3*k - 2*a = 17 + 16. Which is smaller: k or b?
b
Suppose 0 = q - 3*q + 5*a + 25, 4*q - a - 23 = 0. Let y(t) = -t**2 + 16*t - 43. Suppose 18 + 42 = 5*j. Let m be y(j). Is m less than q?
False
Suppose -i = -6*i + 165. Let y = -8 + i. Are y and 26 nonequal?
True
Let k(f) = 8*f + 194. Let l be k(-15). Is l smaller than 72?
False
Let k(r) = 2*r**2 + 12*r - 12. Let i be k(-7). Suppose 6 = -x + i. Which is smaller: 0 or x?
x
Let n = 282/19 - 2202/133. Is n bigger than -1?
False
Let i = -13.2 + 13.2. Which is bigger: 111 or i?
111
Let c be 2/2303452*-2*-2. Let d = c - -651876874/12093123. Let g = -54 + d. Which is smaller: g or -2?
-2
Let y be 2 - (-3)/((-15)/(-70)). Suppose 0 = -4*t - 4 + y. Which is bigger: t or 2?
t
Let k = -3 + 4. Which is bigger: k or 9?
9
Let z be 0/(15/((-90)/12)). Is z greater than -930?
True
Let k(f) be the first derivative of f**3/3 - 5*f**2/2 - 10*f - 3. Let m be k(7). Let g be 6/m - 0 - 3. Which is smaller: -1/3 or g?
g
Let j be -7 + 4 - 28/(-7). Is j at most as big as -1/18?
False
Let j = 0.5885 - 0.1625. Which is smaller: j or -1/2?
-1/2
Let x = 9.9 + 18.6. Let s = -29 + x. Are s and -0.2 nonequal?
True
Let f(s) = -s**2. Let y be f(-1). Suppose 5*z - 8*z = -9. Let u be ((-81)/(-7))/(-3) + z. Which is smaller: u or y?
y
Let d = 1322 + -1311. Which is smaller: 65/6 or d?
65/6
Let c be (-1)/(5 + 64/(-12)). Suppose u + 2*a - 62 = a, -c*a = 4*u - 247. Is u < 61?
False
Suppose 11 + 23 = 2*s. Let z = 15 - s. Let q = 5 + -4.7. Which is smaller: q or z?
z
Suppose 3*g + j = 25, -2*g + 2*j + 20 = j. Suppose 5*f = -l - 24, 3*f + 9 + 2 = -4*l. Which is bigger: l or g?
g
Let m be (-86)/(-172)*(-2 + 2). Let a be (-79425)/40269 + (-1 - -3). Let s = a + 2/433. Are s and m equal?
False
Suppose -15*a - 47585 = 16*a. Which is smaller: -1536 or a?
-1536
Let r be (((-20)/8)/(-5))/(1/(-2)). Is -1/122 equal to r?
False
Let n = -0.352 - 0.648. Which is bigger: -22/3 or n?
n
Let i = -781 - -819. Which is bigger: 37 or i?
i
Let i be 16/24*-354*5/10. Is -116 not equal to i?
True
Let a = -784 - -802. Is a at least as big as 184/11?
True
Let s(o) = o**2 - 8*o - 8. Let r be s(-1). Which is bigger: r or 2/461?
r
Let j = -1116 + 1115. Which is bigger: -10/173 or j?
-10/173
Suppose 25*j - 126 = 4*j. Which is bigger: 2/27 or j?
j
Suppose 0 = g + 4*r + 3, 7*g - 2*g + r - 4 = 0. Let f be (4/(6/3))/1. Suppose -f*b = -b + g. Which is bigger: -1/3 or b?
-1/3
Let n = 118.5 + -116. Which is smaller: 0.1 or n?
0.1
Let b = -1 + 0. Let l be ((9/2)/3)/(6/(-16)). Which is greater: l or b?
b
Let b = 1497/176 - 1/176. Let s be (-3 + -6)/(1*-1). Is s <= b?
False
Let c(u) = u**3 - 10*u**2 - 62*u - 5. Let l be c(-4). Which is smaller: l or 245/12?
l
Let f = 362 + -227. Which is greater: 134 or f?
f
Let h be 42/46 + 1 + -2. Let t = h + 298/253. Which is greater: 2 or t?
2
Suppose -5*d - 56 = -2*s + 17, 3*d + 41 = 4*s. Let h be (-102)/8 - 2/8. Let v = h - d. Is 12/11 less than v?
True
Suppose 5*y - y - 12 = 0. Let s be (-2)/y*(-126)/28. Are s and 1 non-equal?
True
Let y = 12.5 + -85.5. Let b = -65 - y. Which is smaller: 1/2 or b?
1/2
Let x = -24/2293 - 893814/43567. Which is smaller: -21 or x?
-21
Let a(f) = -f + 1. Let h be 21/(-9) - (-2)/6. Let b be a(h). Suppose -5*j = -4*s - 16, -b*s + 5*j - 5 = 3*j. Do 0.4 and s have the same value?
False
Let v = 29 + -20. Suppose 0 = p + 4 + v. Is -13 at least as big as p?
True
Let w(h) = -2*h. Let j be w(0). Suppose 3*s - 7 - 8 = j. Let r be s/2*(0 + -2). Which is bigger: r or -3?
-3
Let r be 5/(-25) - (-8)/(-10). Let n = -4 + 15. Let o(t) = -t**2 + 8*t + 34. Let u be o(n). Which is smaller: r or u?
r
Let o be (-11)/(-15) + 10/(-30). Suppose -7 + 27 = 4*a. Let i = 5 - a. Which is bigger: o or i?
o
Let u be ((-1)/(-5))/(-8 - -6). Let c(w) = -w**2 - 3*w + 4. Let g be c(-4). Suppose -z + g*z = -0*z. Which is greater: z or u?
z
Let w = 0.112 + -0.212. Which is greater: 10/11 or w?
10/11
Suppose -2*v = 3*c - 4*c + 12, 0 = -4*c - 4*v + 36. Suppose 28 = c*b - 12. Is 5 less than or equal to b?
False
Suppose 0 = -3*q - 2*h + 27, 0*q + h = -q + 10. Suppose -q*x = -2*x - 5. Is 2/11 at least x?
False
Suppose 2*r - 71 = 3*s, 3*s + 68 = -0*s - r. Let q be (-22)/3*(-2 - -5). Is q greater than or equal to s?
True
Let n(r) = -4*r + 2. Let s be n(2). Let a be (-3 - s - -3)/(-2). Let k(x) = -17*x - 69. Let l be k(-4). Is l less than a?
False
Let q(r) = r**3 - r**2 - 3*r - 5. Let k be q(4). Is k at least 1?
True
Let m = 76 + -41. Let z = -46 + m. Which is smaller: -19/2 or z?
z
Let z(f) = -14*f**3 - 9*f**2 + 4*f + 24. Let g be z(-6). Let v be 1/4 + (-875)/g. Let y be (-15)/9 - (-2)/3. Is v less than or equal to y?
False
Suppose -3*k - 24 = -2*r + k, 5*k + 31 = 3*r. Which is bigger: r or 17/13?
r
Suppose 24 - 8 = 4*a - 2*r, 20 = 5*a + 2*r. Suppose -7 = -2*q - 3*j, 5 - 21 = a*q - 4*j. Which is smaller: q or -3?
-3
Let r = 1467 - 1407. Is r at most 1/8?
False
Let m = 0.12 + -0.15. Let g = -4.03 - m. Let v = g + 4. Which is bigger: 1 or v?
1
Let u = -4.9 - -1.9. Let x = -3.2 - u. Let k be (-4)/6 - 6/(-4). Which is greater: k or x?
k
Let y be (27 - 25) + (1 - 1) + -26. Let v be -1*(18/y - (-1)/4). Which is smaller: v or -3/23?
-3/23
Let d = -1.77 + -349.23. Are 0.2 and d unequal?
True
Let b = -2056 - -2048. Let m be (-29)/(-2)*1/(-2). Which is smaller: b or m?
b
Let q = 23/44 + -1/44. Are 2 and q equal?
False
Suppose -2*s = 2*n - 5*s - 44, n = -4*s. Suppose 5*g - g = n. Is g less than or equal to 4?
True
Let r be 141/188 - 12/8. Which is smaller: r or 115?
r
Let b = 143 - -571. Let m be 16*(-9)/b + (-4)/(-28). Does m = 1?
False
Let z(s) = 4*s**2 + 4*s + 3. Let y = -6 - -4. Let u be z(y). Let i = -2 - -1. Is u less than or equal to i?
False
Let l be (-8)/(-40)*8/(-12)*3. Is 2/283 at least as big as l?
True
Let w(z) = -z**2 + z - 8. Let g be w(0). Let x = g + 1. Suppose 0 = f -