is smaller: 4 or p?
4
Let c be 1/2 - (-4)/(8/(-3)). Which is greater: 21 or c?
21
Let s(z) = 9*z + 190. Let d be s(21). Which is bigger: d or 380?
380
Let r(b) = -b + 1. Let k(j) = 2*j + 10. Let a(x) = k(x) + r(x). Let q be a(-5). Is q at least as big as 8?
False
Suppose v + 3 = -8. Let q be ((-18)/(-5))/(9/30). Let u = v + q. Which is bigger: u or -1/11?
u
Let h = -10223/5280 + 1/352. Which is bigger: h or -2?
h
Let y = -21.3 - -124.3. Is y not equal to 1/4?
True
Let h(p) = 404*p**2 + 42*p + 12. Let s be h(-2). Is 2/7 bigger than s?
False
Suppose -2*i + k + 6 = 1, -5*i - 4*k - 7 = 0. Let b be (3 + i/(-1))/(-2). Let o = 2399 + -38385/16. Is o at least as big as b?
True
Suppose -2*l = c + 4, -4*c - 44 = -2*l - 58. Are c and 5/9 equal?
False
Let y(k) = k**2 + 41*k + 42. Let l be y(-40). Which is greater: -12 or l?
l
Suppose -16*t + 40 = -8*t. Let z(i) = -i**3 + 5*i**2 - 4*i + 5. Let u be z(4). Do u and t have different values?
False
Suppose 4*y = -0*a + 4*a - 12, -2*y = 4. Is a != -14/71?
True
Let m be (-2 - 1) + 5 + 2 + 0. Let h be 1/((-57)/(-15) - m - 0). Is -10 >= h?
False
Let p be ((-3)/8)/(54/(-36)). Let j be 5/(555/(-6))*-2. Let d = j - 134/555. Is d < p?
True
Let l = -1.078 - 0.002. Let g = l - -0.08. Which is smaller: 0 or g?
g
Let i be 4/(-6) + 1 + 48/(-9). Let k = -4 - i. Is k not equal to 2/23?
True
Let t = -40887462/61 - -46236555865/68991. Let v = 869/87 + t. Let a = -94 - v. Which is bigger: a or 1/4?
1/4
Let y = 30.87 + -31. Let d = -5090/3 + 1634. Let c = d - -62. Which is smaller: y or c?
c
Let p be (-4)/((-8)/(-6)) + (-378)/(-91). Suppose -5*r - 5*g - 5 = 0, 2*g + 6 = -3*r - 2*g. Is p at most as big as r?
True
Let p = -1056514/17 + 1112543480/17901. Let h = p + 32/81. Suppose -2*w = -0*w - 2. Which is bigger: w or h?
h
Suppose 5*h + 89 = -3*s, 3*s + 2*h = h - 85. Let k = s - -27. Let t be (k + 1)/(2 - 3). Is 4 > t?
True
Let c be -34 - 1/((-4)/12). Let y = 17 + c. Let q = y + 15. Is 2/117 greater than q?
False
Let m be (-74)/(-150) - (-4)/(-12). Let t = 38/75 + m. Which is bigger: t or 0.2?
t
Let t = -1074.63 + 1075. Which is smaller: t or 1/4?
1/4
Suppose 4*u + 30 = 3*m, 3*u + 4*m = 5*u + 10. Which is smaller: u or -122/15?
u
Let p(t) = t**3 + 5*t**2 + 5*t + 5. Let z be p(-4). Let c = -1 - -5. Let x be -1 + 1 + c/7. Which is bigger: z or x?
z
Let m(y) = -y. Let w(g) = 14*g + 16. Let s(i) = 12*m(i) + w(i). Let h be s(-7). Suppose 5*k + 2*v = -h*v + 27, k - 9 = v. Which is greater: k or 13/2?
k
Suppose 277*l - 269*l = -648. Which is smaller: l or -78?
l
Let f(o) = 24*o**3 + 4*o**2 - o + 22. Let q be f(-4). Is -1447 at least q?
False
Let j = 8 + -10. Let z be (((-30)/j)/(-1))/1. Which is greater: -72/5 or z?
-72/5
Let r = 314 + -314. Let j = -38.919 - 0.081. Is r <= j?
False
Suppose 92*u = 84*u + 1048. Which is bigger: u or 130?
u
Let v = 4.73 + -168.73. Which is bigger: v or 0.2?
0.2
Suppose -22*x + 11*x = 11. Is x not equal to 11?
True
Let p = 0.293 + 0.027. Is p less than or equal to -0.13?
False
Let o(l) = -l + 5. Let g be o(2). Suppose -t - 28 = 3*v, g*v + 1 + 11 = 0. Is -15 less than t?
False
Let l(o) = 808*o**3 - o**2 + 1. Let h be l(-1). Let d = 3275/4 + h. Do d and 12 have the same value?
False
Let c = -826 - -767. Which is bigger: 1/7 or c?
1/7
Let r = -1470 + 2397. Suppose 2*f = -3*f, -3*a = 2*f + r. Let j be (-2)/a*3/1. Is 0 at least j?
False
Let o be -1 + ((-4)/(-14) - (-8)/(-126)). Suppose 4*s - 20 = -v, 3*v - 5*v - 25 = -5*s. Which is bigger: v or o?
v
Let l(p) = 33*p**2 + p. Let a be l(-1). Suppose 2*s + 2*s = -a. Let q be -2 + 2 + s/(-36). Is 0 > q?
False
Let q = 43 + -25. Suppose 5*s - 30 = -3*d - 0*d, q = 3*s - 3*d. Let k be s*-3*(-3)/30. Is 3 smaller than k?
False
Let l(s) = s**2 + 8*s - 17. Let b be l(-8). Let a = -12 + b. Is -30 greater than a?
False
Let p = 2007 - 1999. Which is bigger: 4/61 or p?
p
Let t be -10*6/24*-4. Are t and -7 nonequal?
True
Let h = -5 + 3. Let l be (-3)/(-2)*(4 + h). Suppose 10*o = 4*o + 24. Which is greater: o or l?
o
Suppose -r = -3*q - 5, 4 + 7 = -5*q + r. Is q at most -7?
False
Suppose 6 = a - 3*h + 2, -3*a + 3*h = -24. Which is greater: a or 69/7?
a
Let c be 2/(582/9 + -6). Is 1 > c?
True
Let k be 10/((-22)/(-70) - 27/45). Which is bigger: -33 or k?
-33
Let r = 131 + -920/7. Let a be 84/63 - (-8)/(-6). Is r less than a?
True
Let r = -23 + -1. Let j = r + 13. Which is smaller: j or -9?
j
Let k be 4*4/(-32)*1. Suppose 0*g = g + 2*r - 4, 0 = g + r - 4. Is k bigger than g?
False
Let l = -32 + 40. Suppose 4*m = 4*r - l, 4*r - 3*m = -2*m + 2. Let c be 12/(-57)*6/8. Which is smaller: r or c?
c
Let b be (2 + -1)/((-2)/4). Let m(f) = f**3 + 6*f**2 + f + 8. Let l be m(-6). Let n be -2 + (-88)/(-28) - l. Which is bigger: b or n?
n
Let f = 1 + -3. Let d = 11 - 9. Let p be (-2)/(4 - d) + -1. Is p at least f?
True
Let n(v) = v**2 - 18*v - 213. Let w be n(-8). Which is greater: w or -49/8?
w
Let z = -4 + 5. Let k = z - 0.8. Let u = -0.1 + k. Which is bigger: u or 0.4?
0.4
Suppose 4*m + 4*n + 117 = -127, 2*m - 4*n = -146. Is -66 less than or equal to m?
True
Let l = 570/11 + -52. Let v be 117/3*(-1)/(-3). Let w(n) = n**3 - 13*n**2 + n - 13. Let h be w(v). Is h >= l?
True
Let p(l) = -122*l - 137. Let k be p(-2). Is 108 >= k?
True
Let x = -4.7 + 6.6. Let a = x + -0.5. Which is greater: a or 0.2?
a
Let l = 10 - 4. Let i = -9 + l. Is i > -0.4?
False
Let g = -37.078 + 0.078. Let y = g + 37.6. Which is smaller: -8 or y?
-8
Suppose -u - 2*i - 492 = 0, 5*u + 1432 = 2*u + 5*i. Let q be u/(-112) + -1 + 3/7. Is 5 bigger than q?
True
Let p(t) = -t**2 - 22*t - 37. Let l be p(-20). Suppose -l*q + j + 136 = -0*q, 2*q = -j + 94. Which is smaller: q or 45?
45
Let s = -18 + 17.2. Let z = -0.8 - s. Is 4/7 bigger than z?
True
Suppose 0 = 2*p + 4, -2*f - 193*p = -196*p - 462. Is f != 231?
True
Let l(u) = 118*u + 473. Let f be l(-4). Suppose -13 = -3*x - 1. Let r be 57/255 - x/10. Do f and r have the same value?
False
Let f be 41/(-13) + 7/28*12. Which is greater: f or 0.02?
0.02
Let w = 5.33 + -3.13. Is 0.5 < w?
True
Let o(l) = l**3 - 5*l**2 + 6*l - 5. Let r be o(5). Suppose -4*m - r = m. Suppose 18 = 3*q - 6*q. Which is greater: q or m?
m
Let t = -1 - -1. Suppose 273 = -4*a + 5*l, -4*a = -l + 262 - 9. Let y be (3/(-9))/(a/(-4))*-3. Are t and y non-equal?
True
Let i = 46 - 265. Let w = i + 152. Which is greater: w or 1?
1
Let y = -43 - -47. Let h be (-2)/y*2 - (-48)/9. Does 4 = h?
False
Let g be (-4)/8 - (-22)/4. Let n be (g/(-2))/(5/10). Let m be (1/(-2))/((-15)/(-130)). Is n less than m?
True
Let w be (12 - 36/2) + (40 - -1). Suppose -d = -2*d + 34. Which is smaller: d or w?
d
Let m(i) = -i**2 + 18*i - 1. Let h be m(15). Which is smaller: 43 or h?
43
Let x(f) = f - 12. Let j be x(4). Which is bigger: -9 or j?
j
Let l = 934/11 - 417520/4917. Is -1 less than l?
True
Let d = 0.24 + -0.25. Let q = -0.21 - d. Is q smaller than -1?
False
Let h = 1303 + -1297. Suppose -4*o + 2*a = -44, 3*o = -o - 2*a + 36. Which is smaller: o or h?
h
Let h be (-1)/(-7) + 13/(-91). Which is bigger: 2/57 or h?
2/57
Suppose -440 = 152*u - 162*u. Which is smaller: u or -2/7?
-2/7
Let h(x) = -12*x**2 - 11*x. Let q be h(-2). Let f = -72 - -46. Is q at most as big as f?
True
Let a be (-1)/((-4 - -7)/3). Let z be 14/91*((-12)/8)/3. Are z and a non-equal?
True
Let z = 11 - 12. Let n = -4 - z. Let w = -6 - n. Is w greater than or equal to 0?
False
Let g = 191 + -369. Let v = -107 - g. Which is bigger: v or -2/7?
v
Let o = -3 + 2. Let p be (o + 11)*(-6)/(-15). Suppose -p*m + 3*m = 0. Is m less than 0?
False
Suppose m = 5*p - 2*m + 46, 0 = -3*p - 4*m - 16. Let a = -3 + p. Which is greater: -12 or a?
a
Let l be (-4188)/(-21) + (440/35 - 12). Which is greater: 197 or l?
l
Let h(g) = -g**3 - 6*g**2 - 3*g - 1. Let w be h(-2). Let y be (36 - 6)*(-2)/5. Which is greater: w or y?
w
Suppose 2*s + d = -41, d = -4 + 3. Which is bigger: s or -3?
-3
Let c(z) = z**3 + 10*z**2 + z + 49. Let k be c(-10). Which is bigger: 31 or k?
k
Let m = 0.7 - -0.1. Let a = -41 + 27. Let u be 16/168 + (-8)/a. Is m >= u?
True
Suppose 2*g - 4*j - 58 = 0, 6*g = g + j + 127. Let h be 1/((-2)/10)*(-20)/g. Is h at most 0.1?
False
Let t be 13/110 - 3/10. Does t = -3?
False
Let b be (-4)/10*(-58)/(-2). Let z be -8 + -3*24/18. Let w = b - z. Is -10 <= w?
True
Suppose 5*a - 32 + 5 =