or k?
1/48
Let y be (-19346)/(-182) + (-2)/13. Let i = 106 - y. Let p be 2 + -3*4/6. Is i greater than p?
False
Let s be 3/(-12*(4 + 16465/(-40))). Are 1 and s equal?
False
Let c(z) = 12*z - 211. Let l be c(17). Suppose 0 = 4*o + 2*p + 18, 3*o + 20 = -5*p - 11. Which is greater: l or o?
o
Let s = 452 + -453. Which is bigger: s or 6/41?
6/41
Suppose -2*j = -6*j - 432. Let f be (-9)/j*(-42)/(-4). Suppose 6*n = -9*n + 4*n. Which is smaller: f or n?
n
Let y be (34/(-4))/(0 - (-11)/(-8)). Is 5 at most as big as y?
True
Let z = -5089 + 1114493/219. Which is smaller: z or 0?
0
Suppose 3*m + 1 = 7. Let s be 1/(-1) - m/1. Let w be (0 - 2)*10/12. Is s >= w?
False
Let s = 37/22 + -3/2. Are -2/229 and s equal?
False
Let h(l) = -l + 10. Let k be 6/(-4) + (-114)/(-12). Let n be h(k). Suppose -4*g - 3*j + 10 = -2*g, 3*g - 5 = -n*j. Does -3/4 = g?
False
Let f = -1223/10 + 123. Suppose 0 = 5*q + 2*v, 0 = -2*q - 8*v + 3*v. Are q and f non-equal?
True
Suppose -5*a + 10 = 0, 5*t + 4*a - 8*a + 3 = 0. Which is smaller: t or 1/30?
1/30
Let p(y) = 5*y**2 - 53*y + 46. Let c be p(14). Which is smaller: 285 or c?
c
Suppose 3*f - 2*q = -119, -3*q + 114 = -42*f + 39*f. Which is smaller: -10 or f?
f
Suppose -5*h = -2*o - 13, -6*o + 5 = -o. Which is greater: 141 or h?
141
Let n(g) = 2*g**2 - 3*g - 1. Let q be n(3). Let u = -517 + 528. Let s be (9 - u)/(0 - q). Is 3 > s?
True
Suppose 128 = -2*l + 6*l. Suppose 2*x - 66 = -2*g, 3*x - 3*g + g - 89 = 0. Which is smaller: l or x?
x
Let a = 0.2 + -1.6. Let t = a + 0.2. Let s = t + 1.3. Is s at most 1.1?
True
Let j = -2748 - -2733. Which is smaller: j or 9?
j
Let c = 1.046 - 0.046. Let r = c - 4. Which is smaller: r or 0.3?
r
Let l be -2 + 6/(-9)*-9. Let d = l + -4. Let r = d + 3. Which is smaller: r or 2?
2
Let n(l) = -42*l - 52*l + 101*l + 2. Let j be n(-1). Let y be ((-6)/(-4) - 2)*6. Are y and j unequal?
True
Let l(u) = u**3 - 3*u**2 - 11*u + 2. Let g be l(-3). Let i be g/(-9) + 2/(-1). Let w(v) = -v**2 + 6*v + 8. Let r be w(7). Which is greater: r or i?
r
Let f(n) = -n**3 + 24*n**2 + 21*n + 17. Let i be f(25). Which is bigger: i or -85?
i
Let g be 154/68 + (-1)/2. Let a(v) = 17*v**2 - 34*v + 1. Let h be a(2). Which is greater: g or h?
g
Let o = -2019/2834 - -19/26. Is o greater than or equal to 4?
False
Let y = 5 - 13. Suppose 32 = -7*w + 3*w. Is w smaller than y?
False
Let l = -28/109 - -1577/7412. Is l > 0?
False
Let f = 1391/46 + -684/23. Suppose 3 = k - 0. Suppose k*o + 13 - 1 = 0. Which is bigger: f or o?
f
Suppose 5*k - 6*d = -3*d - 25, 2*d = 0. Let q be -6 - (0 - 2/2). Is k equal to q?
True
Suppose -6 = -3*m - 0. Let l be 12 + -23 - (-9)/3. Which is greater: m or l?
m
Suppose 7*t - 17 = -10. Let c = -3499/13 + 269. Does t = c?
False
Let p be (7/(-21))/((-4)/120). Let h be -35 - (16/7 + p/(-35)). Is h at most -38?
False
Let l = 77.55 + 1.45. Is -0.1 at most as big as l?
True
Let f(s) = -1145*s**2 + 1. Let c be f(1). Let d be (9/4)/(39/c). Are -66 and d non-equal?
False
Let u = -22 + 21. Is -2/797 greater than u?
True
Suppose c + 6 = 3*n, 3*c = -2*c + 15. Suppose -5*x = -n*x - 8. Suppose 2*a + 4 = -2*f, 2*a + 2*f + 1 = 3*f. Which is smaller: a or x?
a
Let u = 293 + -557. Let i be (2*4/u)/(3/9). Which is bigger: 0 or i?
0
Let f be 94/4*(9 - 11). Which is greater: f or -50?
f
Let d be 1*-469*86/(-301). Is 136 at most d?
False
Let y = -482 + 509. Does y = 27?
True
Let l = -736 - -1072. Let a = l - 179. Let d = a + -1097/7. Is 2/5 smaller than d?
False
Let f(j) = -j**2 - 7*j + 13. Suppose 3*i = -2*u - 8, 2 = 4*i - 6. Let l be f(u). Is 12 less than l?
True
Let l = 84.1 - 84. Does 460 = l?
False
Suppose 5*d - 15 = 3*u, 0 = d - 4*u + 18 - 4. Which is greater: 27 or d?
27
Let n = 0.11 - 0.334. Let i = n - -0.024. Suppose 3*s - 5*s - z - 23 = 0, -3*s + 4*z - 18 = 0. Which is bigger: s or i?
i
Let w(f) = f**3 + 9*f**2 - 8*f + 21. Suppose -3 = 4*t + 37. Let r be w(t). Which is bigger: r or -3/8?
r
Let x = -32.1 - -0.1. Let b = x + 75. Let n = b + -34. Which is greater: n or 0.1?
n
Suppose k = -2*y + 351, -32*k - 2*y = -33*k + 351. Which is greater: 350 or k?
k
Let r = 171 + -136. Suppose -170 = -a - 4*a. Is a at most as big as r?
True
Let d = 2 + -1.85. Let l = -525 - -523. Is d greater than l?
True
Let d be -1 - 7/(-6) - (-46)/12. Suppose 5*z - d*z - 335 = 5*p, -3*p - 5*z = 229. Are -69 and p nonequal?
True
Suppose -8 = -d - 10. Let g(z) = -z**2 - 2*z + 2. Let x be g(d). Let n = 4 + 0. Which is smaller: n or x?
x
Let j = 19 + -3. Suppose 0 = d + 2*k - j, 82 = 4*d + k + k. Is d != 20?
True
Let q = 6259 + -1596047/255. Is q at most 1?
True
Let x = 182 - 181. Is x >= 2/29?
True
Suppose -3*p + 16*p - 156 = 0. Suppose -o = -j, o + 0*o + 2*j = p. Is o > 7?
False
Let y = -1.6 + 2. Let h be (-8 + (-245)/(-35))/(1 - (2 + 0)). Which is smaller: h or y?
y
Let i(j) = j**2 + 8*j - 13. Let d be i(-9). Let q be (-2)/d - (-50)/(-4). Let v(k) = -10*k**2 + k. Let b be v(-1). Which is smaller: b or q?
q
Let n = -131 + 99. Suppose -3*g - 4*z = -0*z + 104, -g = -4*z + 24. Is g less than n?
False
Let g be (5 - 4)*((-730)/(-15) - 3). Let j = g - 683/15. Do j and -1 have the same value?
False
Let i = -1735.9 + 1736. Let t = -3.07 + 0.07. Let n = t - -1.4. Does n = i?
False
Let h = -18 + 21. Let q be ((-10)/(-13))/(1/h). Which is greater: q or 2?
q
Let f(t) = -52*t + 112. Let l be f(2). Which is smaller: 49/6 or l?
l
Let q = 272/71 + -162526/42387. Is q at most 0?
True
Let q = -10126/19 - -533. Which is greater: 0 or q?
q
Let f = 48.87 + -293.77. Let h = f - -224. Let b = 21 + h. Is b equal to 0.1?
True
Let b = 36 - 33. Suppose v = 4*d + 4*v - 27, -5*d - 3*v = -33. Which is smaller: b or d?
b
Suppose -2*m - 5 = 3*m. Let k be ((m/2)/1)/1. Which is smaller: k or 3?
k
Let q(h) = h**2 - 6. Let j be q(3). Suppose t + 4 = j. Which is bigger: -2/27 or t?
-2/27
Let b be (-275)/2 - 2/(-4). Let f = b + 1231/9. Let d(i) = i**3 + i**2 - i. Let w be d(1). Which is bigger: w or f?
w
Let c = 439/3 + -146. Is -35 != c?
True
Let c = 107 - 106.53. Do c and 2/5 have the same value?
False
Let q = -16.69 - -20.3. Is q less than 2/9?
False
Suppose 5*y = 0, 4*k + 0*y = -4*y - 280. Let n = k + 119. Do 48 and n have different values?
True
Let p be (30/(-24))/((-4672)/22). Let w = -1/128 - p. Which is smaller: w or 1?
w
Let z = -1.1 - -0.6. Let j = 0 + z. Let w = -5.99 + 5.59. Is w >= j?
True
Let a(s) = -s**3 + 5*s**2 - 4*s + 8. Let f be a(5). Let k be (-2272)/18 + 4/18. Let p be 2/4 + k/12. Is f != p?
True
Suppose 5*r + 0 = -40. Let h = 12 + r. Suppose 2*t + 6 = h*t. Is t not equal to 2?
True
Let b = 28 - 30. Let f = 0 - b. Which is greater: 4 or f?
4
Let v be ((-6)/(-10))/(534/179780). Are v and 202 equal?
True
Let i be (-1)/(-2 - (7 - 6) - -2). Is i at least 1/38?
True
Let p = -11.47 + 11.5. Is -0.21 greater than p?
False
Let h(k) = -19*k**3 + 5*k**2 + 9*k + 5. Let b be h(-1). Which is smaller: b or 0.4?
0.4
Suppose -4*a = -4 + 12. Suppose 0 = 3*p + p - 4. Let t be p/(-9) - (-603)/(-405). Is a less than or equal to t?
True
Let v = 377 + -2634/7. Let s be -13 + ((-784)/4)/(-14). Which is smaller: s or v?
v
Suppose 2 = 3*i - 46*z + 44*z, 5*i + 5 = -5*z. Let m(x) = -x - 1. Let q be m(-3). Suppose q*c + 9 = -13. Are c and i unequal?
True
Suppose 0 = 5*j + 17 - 7. Let i be 2 - -2*(1 + j). Let d(p) = p**3 + 20*p**2 + 3*p + 60. Let q be d(-20). Is q at most as big as i?
True
Let g = -1/69 + -3103/138. Let d = 22 + g. Let p = -9.3 + 0.3. Is p > d?
False
Suppose 1467*y - 1479*y + 9348 = 0. Which is smaller: y or 780?
y
Let n = -861 - -861. Does n = 1/1028?
False
Let y(u) = 24*u + 63. Let h be y(-6). Is -81 at least as big as h?
True
Let q be ((-632)/(-6))/((-12)/18). Which is smaller: q or -159?
-159
Let h be (2/(-5))/(10/(-250)). Suppose u - 6*u = -h. Let o = -2/21 - -148/231. Is u greater than or equal to o?
True
Let m = -18 - 15. Let q be 55/(-88)*70 - 2/8. Let s = m - q. Are 11 and s equal?
True
Let m be (-22)/(-6) - 2 - (-4)/12. Suppose m*h = -8*h. Is 5/24 at least h?
True
Suppose 2*o = -5*j + 46, 10*o - 14 = -2*j + 7*o. Suppose -5*a - j + 5 = 0. Which is greater: -14/11 or a?
a
Suppose -3*a = 4*y - 4, -5*y + 2*a - a + 24 = 0. Suppose d - 20 = -y*d. Suppose -r - d = -2*r. Is 3 < r?
True
Let u be (-84456)/(-2268) - 4/6. Is u smaller than 0?
False
Let q = 44574 + -44572. Let x = 