r p?
p
Let p be (17/(-1))/(-1) + 0. Let m be (p + 0)/((-2)/(-2)). Let o = -20 + m. Which is greater: o or -1?
-1
Let d be 1556/176 + (-70)/10. Which is bigger: d or 1?
d
Suppose 31 = 7*z - 116. Suppose -20*v + z*v = 0. Is v less than or equal to -1/18?
False
Let m = -135.2 + 124. Let i = -12.2 - m. Which is smaller: 4/3 or i?
i
Suppose 6 = -58*z + 56*z. Let p be (((-6)/z)/6)/((-1)/(-69)). Suppose 11 = -o + 35. Is p greater than o?
False
Let r = 2387.98 + -2388. Which is smaller: r or 24?
r
Let u = -34 + 90. Let m = -61 + u. Which is bigger: 0.12 or m?
0.12
Suppose 5 = 34*b - 29*b. Let o = 261029/37890 + -1/4210. Let u = o - 487/72. Which is bigger: u or b?
b
Let q be (-21)/48*-3 + (-33)/22. Let x = -11/48 - q. Which is greater: -1 or x?
x
Let l = 12 + -28. Suppose 4*r = -o - 11, -2*r - 6 = -0*r. Let g = o + l. Which is smaller: g or -13?
g
Let f = -22 - -28. Let p be f/8*(-20)/(-15). Let w = 1/208 - -355/12688. Which is smaller: w or p?
w
Let j be (-1196)/(-104) + (-12)/8. Let q = 3/178 + 844/89. Is q less than j?
True
Suppose 5*v = -10 + 25. Suppose -12 = v*c - 7*c. Let s be 5/(-35)*2*c. Are -2 and s non-equal?
True
Let q be (-10)/(-42) - 4/6. Let w be (-114)/(-22) + 2/(-11). Suppose p = 4*o - 2*p - 5, -w*o - 17 = 4*p. Which is bigger: o or q?
q
Let o be (0 + -1)*(1 - -3). Suppose 0*f + 5*f = -220. Let z be f/6*5/10. Which is bigger: z or o?
z
Let g(c) = 17*c + 204. Let k be g(-12). Is k at least 14/247?
False
Suppose 0 = -5*t + 28 + 17. Let g = t - 14. Let o be ((20/(-13))/g)/(-2). Is 1 greater than or equal to o?
True
Suppose -q - q = 8. Let y be -1 + 5 + q - (-16)/26. Is y less than 0?
False
Let f = 1.42 + 185.58. Let o = 206.4 - f. Let r = o - 19. Which is bigger: r or -2?
r
Let c be (-354)/(-8) - 4/16. Suppose 3*j + j = c. Let q be j/(-4) - (-2 + 0). Which is greater: q or -2?
q
Let s(d) = d + 2. Let u be s(-2). Suppose 13*h - 336 = -336. Do u and h have different values?
False
Let n(p) = -12*p + 7*p + 2*p + 5*p**3 - 4*p**3 - 2*p**2. Let b be n(-2). Which is smaller: b or -37/4?
b
Suppose o - 12 = -0*o. Let v be o/((-12)/8*42/(-27)). Which is smaller: v or 5?
5
Suppose 0 = 2*r + 5 + 43. Let s = -244 + 272. Let m = s + r. Which is smaller: 8/3 or m?
8/3
Let n be (-9)/5*1/3. Let f = 6.76 - 7. Let x = 0.14 + f. Is n != x?
True
Let l = -12 + 11. Which is smaller: 1/346 or l?
l
Let p(j) = 230*j**2 - 9*j - 13. Let z be p(-2). Is 924 at most z?
True
Let f be (2/8)/((-420)/336). Let s be (2/(-3))/(2/(-6)). Suppose 0*d - s*d = 0. Is d less than f?
False
Let i(b) = b**2 - 3*b - 21. Let g be i(6). Which is bigger: g or 10?
10
Let i(d) = 2. Let p(n) = -2*n - 2. Let o(g) = -6*i(g) + 2*p(g). Let k be o(-4). Is k bigger than -2/63?
True
Let x = -50 + 23. Let b = x - -25. Which is greater: b or 0?
0
Suppose -88*s + 92*s = 4. Which is smaller: -31 or s?
-31
Let q(t) = t**3 + 6*t**2 + 12*t + 7. Let g be q(-4). Let o be 0 + 3 - (-57)/g. Suppose w + 3*w + 12 = -v, -4*v = 3*w - 4. Is w less than o?
True
Suppose 3*z + 602 = -376. Let f be (-2)/3 - z/(-6). Let t be (-32)/(-5) - (-22)/f. Which is smaller: t or 7?
t
Let h(v) = 16*v - 17. Let c be h(1). Is 4/23 at least c?
True
Let h = 1135/52 - 87/4. Let w = h + 88/39. Is w not equal to 1?
True
Let d(u) = -37*u. Let a be d(-10). Suppose 5*q - a = -4*j, -3*q - 205 = -6*q + j. Is q <= 1?
False
Let y = -63301/890744 + 2/4841. Let s = y - 7/23. Suppose 2 = 4*r - 2. Which is greater: s or r?
r
Let y be -1 - ((-6)/27 + 215/(-45)). Let t be (-2)/(-5*y/(-470)). Is -47 bigger than t?
False
Let m(g) = g**2 - 16*g + 9. Let q be m(18). Is q < 45?
False
Suppose 2*a - 30 = 7*a. Let w be (-92)/23 + 0 + 6. Suppose -4*s - w = 14. Is a less than or equal to s?
True
Suppose -3*q = -5*q. Suppose 6*f = -q*f + 18. Suppose 0 = 3*v - f - 12. Is 5 greater than v?
False
Let s be 48/19 + (-52)/26. Which is smaller: s or 0.1?
0.1
Suppose 18*l - 5580 = 78*l. Do -94 and l have the same value?
False
Let z = -1757 - -5269/3. Is z equal to -22?
False
Let a be (0/1 + 60)*18/24. Which is smaller: a or 43?
43
Let d be 10/(-515)*(-6)/32. Which is smaller: d or -1?
-1
Let h = 83946/19 - 4417. Let n = 1687/1425 - h. Suppose 4*y = -0*y - 4. Is y >= n?
False
Let c be 0 - ((-272)/18 - (-1)/9). Is 0.3 not equal to c?
True
Let s be 5/4 + 11/((-44)/(-96)). Which is smaller: 26 or s?
s
Let t = -2.4 + 1.1. Let l = -4.3 + 4.5. Let h = l + t. Is h at most as big as 1/4?
True
Let g(i) = -i**2 - 12*i + 7. Let u be g(-10). Which is smaller: 21 or u?
21
Let q(k) = -25*k**3 + k**2 + 4*k - 4. Let t be q(-2). Is 192 < t?
False
Suppose 118 = -4*m + 5*r - 7*r, -2*m - 39 = 5*r. Is -33 at least m?
False
Let v be 5 - 56/10 - (-234)/325. Is v < 0.16?
True
Let s = -665/2 - -333. Is -7.5 <= s?
True
Suppose 0*k + 4*k = 4*t - 12, -4*t = -5*k - 12. Let u = 1.7534 - -0.2466. Is t > u?
True
Let m = -6.8 + 8.06. Let q = 0.26 - m. Which is smaller: q or -0.09?
q
Suppose -602 = -u + 99. Which is smaller: u or 700?
700
Let w = 3269/15 - 218. Suppose 4*r = -2*r + r. Is r smaller than w?
False
Let o be (-1)/4 - (-1413)/36. Is 157/4 equal to o?
False
Let s be 2*(-3)/(6/(-13)). Suppose -2*t + 37 = -5*u, -3*u + 0*u = 2*t - s. Which is smaller: 10 or t?
10
Suppose 0 = 2*u - 3*u + 3. Let m = 0 + u. Suppose -3*j - 2*a = -a - 2, 5*j + m*a - 6 = 0. Is j less than or equal to 2/5?
True
Let k be 1 - 5/((-10)/(-4)). Let f(u) = -2*u**2 - 6*u + 6. Let l be f(-5). Let z = 13 + l. Is z greater than k?
False
Let d(g) = -3*g**2 + 7*g + 6. Let q be d(7). Let o be (-4)/((-160)/q) + -1. Let l = o - -439/130. Are l and 0.2 equal?
False
Let i(y) = -y**2 + 12*y + 11. Let r be i(6). Let b = 36 - r. Let h = 16 + -26. Which is bigger: h or b?
h
Let v(x) be the first derivative of -x**3 - 34. Let w be v(-4). Which is smaller: -47 or w?
w
Let w = 3249/2665913 - 1633450671129/20060995325. Let y = w + -6/1075. Let s = -81 - y. Which is smaller: s or 0.3?
0.3
Let y be ((-2)/(-32))/((-1)/2*-1). Which is bigger: -1 or y?
y
Suppose -f + 4*k = k + 2, -5*f - 4*k + 9 = 0. Does -108 = f?
False
Suppose 6*m = 5*m, -3*t + m - 3 = 0. Let k be t + 64/20 + -1. Is 1 greater than or equal to k?
False
Let k(o) = -19*o**2 - 2*o - 1. Let t be k(-1). Let z be ((-45)/(-12))/(t/(-48)). Which is bigger: z or -4?
z
Suppose 4*i + 2*q = -2*q - 48, 5*i + 84 = 3*q. Let l(k) = -13*k - 50. Let n be l(-4). Is i bigger than n?
False
Let s be (280/(-278) - 1) + 2. Is s smaller than 1?
True
Let r be ((-951)/(-108) + -9)*8. Suppose -8*c + 3*c = -10, 3*q + 10 = 2*c. Does q = r?
False
Let z = 318 - 318. Is 1/46 greater than or equal to z?
True
Let k = -8 + 5. Let r = -5 - -5. Suppose 2*f = -r - 6. Does f = k?
True
Let r = 7 + -5. Suppose 0 = m - 3*y - 9, 2*y + 0 = 2. Let x be 2/(-6) + 64/m. Which is smaller: x or r?
r
Let k = -12.03 - -12. Let l = -2.83 - k. Let m = l + -0.2. Which is greater: -1/5 or m?
-1/5
Let n(l) = -l**3 - 9*l**2 - 2*l - 12. Let r be n(-9). Let h be (9 - r) + (0 - 3). Let v be 0 - (16/14 - 1). Is v less than h?
True
Suppose 4*j = 3*c + 8*j + 7, -1 = 4*c - 3*j. Which is smaller: c or 2/243?
c
Let o(j) = -j**3 - 7*j**2 + 8*j - 5. Let u(a) = -a + 4. Let r be u(12). Let s be o(r). Let c = s + 9. Which is smaller: 5 or c?
c
Let n = 33628/11 + -3063. Let q = 510/77 + n. Which is smaller: 1 or q?
q
Suppose -6*s - 5*d = -4*s + 337, 2*d = 4*s + 710. Is -176 != s?
False
Let g be 612/(-63) - -1*2. Suppose 0 = 3*s + 4*d + 1, -2*s + d - 25 = -6. Is g at most s?
True
Suppose 126 = 4*j - 82. Let w = 34 - j. Let o = w - -16. Are o and -4 non-equal?
True
Let i(x) = 3*x + 2. Let o be i(3). Let w = o - 8. Suppose w*r - 2*r - 1 = 0. Which is bigger: 2/35 or r?
r
Let l = 35 - 53. Let y = l + 17.7. Which is bigger: 1/4 or y?
1/4
Let m(g) = g**2 + 9*g + 13. Let u be m(-8). Let q be 10/(-75)*u/6. Which is smaller: -1 or q?
-1
Suppose 3*h + 3*f - 7 + 1 = 0, 0 = -4*h - 2*f + 8. Suppose 2*a + 4 = 3*o, h*a + o = 6*o. Which is bigger: 0.5 or a?
0.5
Let o be (-30)/(-25) + (-251)/5. Which is smaller: o or -54?
-54
Let r(t) = -4*t + 14. Let v be r(9). Let f = 12 - v. Suppose -u = u + f. Is -17 at least u?
True
Let x be (-21)/(-6) + 25/(-10). Let g be (0 + x + -2)*0/10. Which is smaller: 2/79 or g?
g
Let t be ((-63)/(-6))/(26/(-24) + 1). Let o be t/(-245) + (-4)/(-14). Which is smaller: o or -1/2?
-1/2
Let q = 100 + -73. Suppose q = -15*b + 117. Are 11 and 