1 or p?
p
Suppose -f + 5*c = 71, -107 = -2*c - 99. Is -69 at most f?
True
Suppose 0 = -4*k + 2*q + 138, 4*q + 175 = 5*k - q. Which is bigger: 11 or k?
k
Let w(t) = -7*t - 98. Let m be w(5). Which is smaller: -135 or m?
-135
Let r = -49.124 - -0.124. Let x = r - -49. Is 2/279 > x?
True
Suppose -4*j = 5*y - 4, 6*y + 2*j - 2 = 2*y. Suppose f + 3 = -y. Let h = -4 - f. Which is smaller: h or -2?
-2
Let i = -1367 + 1274. Which is greater: -11 or i?
-11
Let d = -0.828 + 0.905. Which is smaller: d or 6?
d
Let u be (-2)/3 + (-1)/((-9)/(-57)). Are -5 and u equal?
False
Let b(s) = -s**2 - 32*s - 271. Let h be b(0). Which is smaller: -272 or h?
-272
Let g = -0.059 - 0.941. Let d = 5 - 5. Let a be (1 - (d + 2))/13. Which is bigger: g or a?
a
Let z = 242 + -207. Which is smaller: 1/7 or z?
1/7
Let w(f) = -3*f**2. Let k be w(3). Suppose 4*c - 3*n = n + 80, 0 = -4*n. Let g = c + k. Is g not equal to -7?
False
Let j = 3 + -2. Suppose 2 - 20 = -6*o. Is j at least as big as o?
False
Suppose 4*s - 23 = -7. Suppose w = s*k - 43, k - 8 = 3*w - 0. Suppose 2*z - l - 40 + 13 = 0, -4*z + 49 = -l. Is z >= k?
True
Let h be (-384)/66 - 4/22. Let x = 9 - h. Suppose -4*m = -3*i + x + 1, -5*i = 4*m + 16. Do m and -5 have the same value?
False
Let c be 3/(-2) + (-50)/20. Let z be (-10)/12 + (-77)/33. Is c less than or equal to z?
True
Suppose -57*b + 54*b - 3 = 0. Let s = -15 + b. Is s less than -18?
False
Let d be 14/49 - (-341)/7. Let l = -73 + d. Is l greater than or equal to 2?
False
Let x = -7691 + 7694. Let n be (8/10)/(2/4). Which is greater: x or n?
x
Let t = -9 - -7. Let a(z) = -4*z**3 - 6*z**2 - 6*z + 2. Let h be a(t). Is 22 at least as big as h?
True
Let v = 2.54 + 0.16. Let s = v - 0.7. Which is bigger: -11 or s?
s
Let g = -6466061/69 - 17648/23. Let x = -3951533/42 - g. Let k = 394 - x. Are -1 and k equal?
False
Let g = 1060 - 1050. Which is bigger: g or 109/12?
g
Let h(d) = -6*d**3 - 4*d + 3. Let s be h(2). Do s and -50 have the same value?
False
Let a = -26.5 + 34. Let u = a - 0.5. Let z = u - 13. Does 0 = z?
False
Let z = -19.6 - -18. Let h = z + -0.2. Let j = -1.2 + h. Is j bigger than -1/4?
False
Let j = -5 - -13. Suppose 4*q = -0*q + j, c = 2*q - 7. Let w = -4 - c. Are -2 and w equal?
False
Let k = 0.01 - -27.99. Let i = k - 33. Which is smaller: 0 or i?
i
Let l = 904 - 904. Let b = 159/805 - 13/35. Which is smaller: l or b?
b
Let t = 41/10 + -327/70. Suppose -8 = s + 2*c, -c + 3 = 2*s + 2*s. Suppose -s*o - o = 0. Is t >= o?
False
Let k = -48.3 + 8.3. Which is smaller: -7 or k?
k
Suppose -4*f - 8 - 12 = 0. Are -14/3 and f unequal?
True
Let r(f) = -2*f**3 - f**2 + f - 1. Let w be r(0). Let z = 2 + w. Which is smaller: z or 3/2?
z
Suppose -195*d - 19771 = -212*d. Which is smaller: 1161 or d?
1161
Let t = 39 - 37. Suppose -r + 4 = t*z - 1, 3 = -5*r + 4*z. Is -3/98 less than or equal to r?
True
Let k be 2/4 - 14/(-4). Suppose -k = -2*f - 2*f. Suppose 0 = -5*d + 20, 12*b = 16*b - 3*d + 4. Is f less than b?
True
Let c(t) = 4*t - 20. Let a be c(5). Which is smaller: 2/1151 or a?
a
Let u = 10.7 + -22.3. Let r = u + 14. Let g = r + -1.4. Which is greater: g or -4?
g
Let f(n) = n**2 + 10*n + 98. Let j be f(-10). Which is bigger: j or 100?
100
Let y = -2523/56 - -349/8. Which is smaller: 0.03 or y?
y
Let h(z) = -z - 3. Let d be h(-7). Let c = 266.5 + -266. Which is bigger: d or c?
d
Let k be (94 - -5) + (-2)/2. Suppose 0 = -3*v - 3*u - k + 38, 4*v + 90 = u. Which is smaller: v or -1?
v
Let o(v) = v + 13. Let q be o(-13). Suppose q = 2*k + 3*k. Suppose -5*g - g - 30 = k. Is -5 < g?
False
Let v = 220 - 141. Which is smaller: 78 or v?
78
Suppose -11 = 3*p + 1, -3*a - 22 = -2*p. Let v(n) = -2*n**2 - 7*n - 6. Let k be v(-4). Is a greater than k?
False
Let d be ((-2)/1)/(18/(-153)). Let a = 11 - d. Let h(z) = -z**2 - 5*z + 8. Let r be h(-7). Are a and r equal?
True
Suppose i + 3*n - 188 = 0, i - n = n + 213. Suppose i = -3*u + 2*z - 3*z, -4*u - 269 = 3*z. Let y be (-4)/(-28) + u/(-14). Is 5 > y?
False
Let a be 3/2*54/81. Which is bigger: a or 133?
133
Suppose 0 = -48*a + 42*a + 36. Let r be 1/2 - 2781/(-6). Let v = r - 1378/3. Which is smaller: a or v?
v
Let i be ((-9)/6)/3*2. Let t be (380/(-57))/(4/(-6)). Let w be (-2)/(-18) + t/(-45). Which is greater: i or w?
w
Let a be ((-1)/12)/(9603/(-27)). Let q = 104563/12804 + a. Is q equal to 9?
False
Let l be (-1664)/3696*2*123/(-4). Let y = -190/7 + l. Let i = -1 + 2. Are i and y nonequal?
True
Let g be (-6 - -28)*(-5 - -10)/5. Is 15 greater than g?
False
Let h = 0.208 - 0.078. Is -21 equal to h?
False
Let y = -12 - -62. Let n = 15 + 0. Suppose 5*c + y = n. Which is bigger: -1 or c?
-1
Let a(p) = -p**2 + 3. Let g = 30 + -26. Suppose 0*l - 2*l = g. Let n be a(l). Which is smaller: -1/12 or n?
n
Suppose 2*b = 3*n - 24 - 111, 4*n - 7*b = 167. Which is smaller: n or -0.3?
-0.3
Let q be (3 - 0)*(-4)/6. Let c be (-622)/(-10) - (-4)/5. Suppose -d - j - 2*j - 3 = 0, 5*d - j = -c. Which is greater: d or q?
q
Let m = -253 + 292. Is m at most 43?
True
Let i(r) = 2*r**2 + 9*r + 6. Let w be i(-4). Let u be w*(-4)/32*-2*24. Is u at least as big as 13?
False
Let z be ((-12)/(-20))/((-3)/(-2)). Let s(t) = t - 1. Let o be s(2). Let w be 1*5*o/5. Is z smaller than w?
True
Let o = -442 + 441. Is o equal to -19/10?
False
Let p = 3599/2 - 1800. Do 0.203 and p have the same value?
False
Let r = -4/23 - -74/161. Which is smaller: r or 0.09?
0.09
Let z = -42 - -112. Which is smaller: z or 69?
69
Let n = 334 - 3010/9. Let f = -5 + 4. Which is smaller: n or f?
f
Let n(f) = -f**2 - 10*f. Let u(x) = -x - 9. Let m be u(-11). Let i(r) = 5*r**2 + 41*r. Let s(v) = m*i(v) + 9*n(v). Let w be s(9). Is 9 >= w?
True
Let w be ((-2)/150)/(4/24*-1). Let d(c) = c**3 + 5*c**2 + 3*c + 1. Let t be d(-4). Suppose -n + t*n = -4. Are n and w non-equal?
True
Let b = 1103291/3081 + -296/237. Let y = -357 + b. Is y bigger than -0.1?
False
Suppose -4*t + 12 = -96*d + 99*d, 4*d + 2*t = 6. Which is smaller: d or -5/846?
-5/846
Let r be (5/15*-3)/(1/(-7)). Let u = 1 - 1. Which is greater: u or r?
r
Let h be (96/(-396))/(8/60). Which is smaller: -2 or h?
-2
Let h(f) = 22*f**3 + 3*f + 1. Let q be h(-1). Which is smaller: 2 or q?
q
Let i(w) = w**3 + 32*w**2 - 95*w + 41. Let s be i(-35). Which is bigger: 0 or s?
0
Let g be (6/(-7))/((-42)/392). Let w be (g + -22)*((-15)/6)/(-5). Which is bigger: -35/6 or w?
-35/6
Let v be -4 - -8 - 1*(-415)/(-25). Which is bigger: -14 or v?
v
Let f be 2/13 + (6/(-39) - -2). Suppose 0 = -b + 3*x - 9, 2*b - 5*b = -f*x - 1. Which is smaller: 1 or b?
1
Let b = -3 + 2. Let i = 180.1 - 179. Let p = i + b. Is 2 smaller than p?
False
Let z = 72.1 + -82. Let j = z + 9.92. Which is greater: j or -1/2?
j
Let a = -73.3 - -5.3. Let n = a - -87. Are 0.2 and n equal?
False
Let k = -455/1537 + -30/53. Is k != 0?
True
Let v = -88 + 100. Suppose 0 = 24*p - 20*p - v. Which is smaller: 8 or p?
p
Suppose -3*q - 1577 - 474 = 4*t, 2*t + 1027 = -q. Which is bigger: t or -517?
t
Let p be -6*(-4)/24*(-2)/2. Let k(o) = o - 11. Let s be k(7). Which is smaller: p or s?
s
Let d = 0.2 + 1.8. Let n = 3.7 - d. Let u = -1.7 + n. Is u not equal to -2?
True
Let m = -48 - -47. Which is greater: m or 2/387?
2/387
Let z = -29.976 + -0.024. Let r = z + 30.01. Is r greater than 0?
True
Let i be 105/(-14)*(606/9 + 4). Is -537 smaller than i?
True
Let c = -59 - -47. Let j = -12 - c. Is -8/21 not equal to j?
True
Suppose 0*i = -4*i + 32. Let s = i - 8. Let n = -5/3 - -14/9. Does s = n?
False
Let q be -39*(-3)/((-15)/(-5)). Let s = 25 - q. Which is bigger: s or -10?
-10
Suppose 0 = 15*p + 199 - 4. Suppose -t - 2*t - 5*r = -2, -2*t + 2 = 3*r. Let s be t/(-3)*(-42)/(-4). Is s > p?
False
Let s(t) = -t**3 + 16*t**2 + t - 15. Let w = -15 - -31. Let q be s(w). Let z = 10 - 6. Which is smaller: q or z?
q
Let m = 5 - 0. Suppose 0 = -m*y - 12 - 13. Which is smaller: -3 or y?
y
Let h be ((-6)/4)/(-2 - (-12)/8). Let x be 198/(-202) + (h - 5 - -3). Which is bigger: x or -1?
x
Let s(j) = -j**3 - 6*j**2 - 5*j + 4. Let y be s(-4). Let k be (-2)/4 + 30/(-4). Is y >= k?
True
Let u be ((-30)/225)/((-6)/(-5)). Let b = -8 - -2. Let t be (-1)/b + (-14)/12. Do u and t have different values?
True
Let q be (-8)/20*(-25)/5. Suppose 13*y = -q*y + y. Is y at least as big as 3/19?
False
Let p be ((-3)/(-2))/((-2)/24).