07.9 + 1365.9. Which is smaller: k or -15/2?
k
Let u = 44 - 66. Let i be -199 - (-35)/28*-4. Let g = -226 - i. Is g less than u?
False
Suppose 0*p + 21 = 2*h + 3*p, 0 = -h - 3*p + 12. Suppose -4*w + h = s - 13, -5*s - 4*w = -30. Let g be (s/3)/((-63)/27). Is g less than 1.9?
True
Let u be 1656/504*-1*1 + 2 + 0. Let y = 0.02 - -0.01. Which is greater: y or u?
y
Let z = -16431 - -16430. Which is smaller: 1/4559 or z?
z
Let c be (-12)/(-6) + 18376/(-1) + -1. Let a be (-1095)/c - (-4)/(-50). Suppose 4*o = 9*o + 5. Is o at most as big as a?
True
Let y = -347 - -600. Let z = 132 - y. Which is smaller: -120 or z?
z
Let k be ((-156425)/100)/((2925/(-1239))/(-5)). Let p = 3313 + k. Is 1 > p?
True
Let n(z) = -6*z + 6. Let p be n(-4). Let h = 27 - p. Let x be (14/189)/(1/h). Is 0 greater than x?
True
Let k be (-240902)/(-598) + 4/26. Do 399 and k have the same value?
False
Let x(c) = -2*c**2 + 59*c - 63. Let p be x(28). Suppose 5*l = p*l. Is -98 > l?
False
Suppose -76 = -5*a - 1. Suppose 0 = 5*v, i - 6*i - 85 = 4*v. Let s be 70/595 + (-236)/i. Which is greater: s or a?
a
Let v be 683/(-11) + ((-84)/(-56))/((-66)/(-4)). Which is smaller: v or 3?
v
Suppose 7*s = s + 30. Suppose b + 4 - 3 = 0, -5 = -2*p - s*b. Let g be (-8)/(-12) - 5/3. Is g bigger than p?
False
Let d = 18541/3939 - 478/101. Which is bigger: d or -1.3?
d
Suppose 209 + 46 = -185*k + 70. Is k bigger than 13/59?
False
Let j = 1065 + -493. Let n = j + -581. Suppose -5 + 17 = -4*h - 5*b, -5*h + 3*b - 52 = 0. Is n greater than h?
False
Let i = 158 + -165. Let v be -9 - i - (-30 + 0). Which is bigger: 29 or v?
29
Suppose -5*m + 10 = 0, -4*g - 2943 = -4*m + 5841. Let w = -179905/82 - g. Is -1 >= w?
False
Let n be (-3*(-3)/156)/3. Let f(w) = w + 13. Let i be f(-9). Suppose -i*l = 4*h + 12, -3*h + 2*h = 3. Is l greater than n?
False
Suppose 0*j + 26*j - 8*j = 5*j. Is 5/563 > j?
True
Let y = 20.0348 - 0.0348. Let o = -16.74 + -2.96. Let j = o + y. Is -2 <= j?
True
Let z be -37 - -44 - (-71)/7. Let l be 3*(4 + 64/(-12)). Let j be (-469)/(-28) + (-1)/l. Which is bigger: j or z?
z
Let y = 8353/8556 - 63/62. Let x = 5447/122820 + y. Are x and 0 equal?
False
Suppose f = -16544*i + 16543*i + 6, 4*i + 3*f = 18. Which is bigger: 572/15 or i?
572/15
Let q be (-10 - (2 - 4)) + (-1350)/(-140). Suppose -3*y = 2 - 8. Is y < q?
False
Let o be ((-124)/(-1488))/((-16659)/8). Is -1 > o?
False
Let g = 24.0832 + 0.1368. Let h = g + -2.22. Which is smaller: -3/4 or h?
-3/4
Let k be 2/(-11) + 9102/451. Suppose 4*y - 5*a + 52 = 0, -6*a + k = -a. Which is bigger: -6 or y?
-6
Let y be 40/(-10) + 3 + (77 - -1). Suppose -68 = o - y. Let f(a) = 2*a - 1. Let v be f(5). Is o greater than v?
False
Let l = 19652 + -19651. Is -3/1439 less than l?
True
Let z = -6799 + 3950. Let c = z - -826211/290. Does c = 1?
False
Suppose 2*f - 167 = -3*f + 3*o, -4*f + 140 = 4*o. Let a = f + -52. Let j be 2/a*(-5)/2*2. Which is greater: 2 or j?
2
Let z = 492929/2145 + 170/429. Let k = -230 + z. Let l = -3 + 5. Which is bigger: l or k?
l
Let j be 26*3 - (-5)/((-80)/(-32)). Suppose i + 2*i = n + 247, 0 = i + 2*n - j. Which is bigger: 83 or i?
83
Let d(g) = 20 - 4*g - 9 + 5*g - 8*g**3 - 13 - 4*g**2. Let w be d(2). Let v = -91 - -12. Is v bigger than w?
True
Let y = -18122.042 - -18088. Let n = -45.958 + 46. Let l = y + n. Which is greater: -1/4 or l?
-1/4
Let k = 2256 - 2372. Which is bigger: k or -117?
k
Suppose 4*v = -2*k + 6 + 2, k + 5*v - 4 = 0. Suppose -k*s = -6*s + 20*s. Which is greater: s or -1?
s
Let g be 2/20 - (-71386)/140. Are 509 and g equal?
False
Let z = 158875/101 + -1573. Let v(b) = -2*b**3 + 8*b**2 + b - 3. Let j be (-2)/14 - (-87)/(-21)*-1. Let t be v(j). Which is greater: z or t?
t
Let r be 1636*(-15)/(-330) - (9 + -17). Which is bigger: r or 2?
r
Suppose -108 = 5*k - 3*r, 7 = 5*r + 2. Let t be 2/((-6)/k)*(2 + -1). Is t less than 11/2?
False
Suppose 2*i - 7*i + 4*x = 35, 3*i = 3*x - 24. Let z(r) = -r**2 - 5*r + 2. Let t be z(i). Which is greater: t or 14?
14
Let l = 4510 + -929059/206. Does -1.2 = l?
False
Let z be -3*(-4)/(-24)*(-346)/10. Let v = 329/18 - z. Let y = v - 6/5. Which is bigger: 1 or y?
1
Suppose 329*x = 282*x. Is 7/67 >= x?
True
Let p(j) = 5*j - 4. Let k(q) = -8*q + 3. Let t(w) = -5*k(w) - 6*p(w). Let b be t(6). Let i(a) = 69*a. Let u be i(1). Is u smaller than b?
False
Let o = -0.2701 - -0.3501. Is o greater than 34?
False
Suppose -13*a = -4*a. Let k(j) = j**3 + j**2. Let i be k(a). Suppose -5*p + 3*l + 79 = 0, 0*p - p + 4*l + 9 = i. Which is smaller: p or -2?
-2
Suppose -5*l - 2*v = -6, 0 = -5*l + 3*l - 4*v - 4. Let k be l/(-5)*(-20)/(-148). Let m = -761 - -761.1. Which is bigger: k or m?
m
Let g(l) = 3*l**3 - 6*l**2 + 4*l - 3. Let i(w) = -7*w**3 + 11*w**2 - 7*w + 6. Let h(b) = -5*g(b) - 2*i(b). Let n be h(6). Is n > 40?
False
Suppose 0 = -5*z + 2*z. Let m = 296 - 223. Let k = m + -1007/14. Are k and z nonequal?
True
Let x = -201092/22619145 + 21/2335. Is 0 > x?
False
Suppose -5*m = -4*i + 11 - 9, -2*i - 12 = 4*m. Let v be (0 - 5/20*m)/(-22). Is v equal to 1?
False
Let i = 198.868 - 0.868. Let u = -198.2 + i. Let c = -2.3 + -33.7. Is c greater than or equal to u?
False
Let x = -247 + 147. Let w = x + 155. Is -1 != w?
True
Suppose 41 = -52*m + 51*m. Let p be (m - -40) + 2/(0 - -18). Which is smaller: p or 0?
p
Let c = -1063/522 + 15/58. Let n = c + 98/45. Let w = 2575 - 2574. Which is smaller: n or w?
n
Let i = 95 - 12. Let h = -230047 + 690139/3. Is h at most as big as i?
True
Let a be 6 - 15*(-1)/(35/(-14)). Let g = 83/4 + -4723/228. Which is smaller: a or g?
a
Let q be 4/(-2)*2/(-14). Let d = 33003.5 - 32983.5. Is d greater than or equal to q?
True
Suppose 10*q = 34*q + 17112. Is -712 <= q?
False
Let j(y) = -y**2 - 6*y - 1. Let q be j(-5). Suppose -q*n + 2*w = -16, -3*n - 2*w + 20 = 2*n. Suppose -3*l = -5*g + 21, 1 + 4 = -g - n*l. Is g >= 4?
False
Suppose -5*z + 52 = 3*p, -5*p + 4*z = -z - 60. Let w = p - 11. Suppose -2*g + 7*g - 11 = -2*f, 0 = 5*f - w*g + 50. Which is smaller: f or -5?
f
Let q be 9/(-6) + (-49)/(-28). Suppose -4*y + 6*y = 8. Suppose -6 = 4*c - 5*u + 22, -y = u. Is c >= q?
False
Let p be ((-18)/(-7))/(174/(-56) + 3). Let c be p/(-99)*(2 - 22/8). Which is smaller: c or 0?
c
Let h(d) = -2*d**2 - 5*d - 4. Let x be h(-4). Let w = 3029 - 3045. Do w and x have different values?
False
Let x = -0.1 - 0. Let k = -293.1 - -53.1. Let n = -239.7 - k. Which is smaller: x or n?
x
Let c = -230 + 231. Let u be c - ((-4)/(-3) - (-3)/27). Suppose -4*m = -6 + 2. Which is bigger: u or m?
m
Let n(l) = 2*l**3 + 22*l - 114. Let r be n(5). Is r != 242?
True
Let s = 44246 + -44052. Let x = -6/11 + 29/33. Are x and s equal?
False
Let b be ((-4)/((-100)/835) - 8)*5. Are b and 99 equal?
False
Let u = -21121 + 16875690/799. Which is smaller: u or 1?
u
Suppose 21 = 3*h - 43*a + 44*a, -6 = 2*a. Suppose 3*f + 169 = 5*x, 7*f - 35 = -x + h*f. Is 31 bigger than x?
False
Let x(i) = -52*i + 78. Let d(l) = -46*l + 78. Let w(g) = 7*d(g) - 6*x(g). Let k be w(7). Which is smaller: -49 or k?
-49
Let c(l) = -2*l**2 - 83*l - 482. Let a be c(-7). Is a at least -6/769?
True
Let m(l) = -27*l + 192. Let c be m(7). Do c and 34/13 have the same value?
False
Let s = -4.021 + -1.579. Let i = 11 - 11.4. Which is smaller: s or i?
s
Let o = 22227/222170 - 1/22217. Is o less than 2/29?
False
Let b = 38.729 - 0.229. Is b <= 3?
False
Let j = -0.035 - 54.965. Let y = -55.2247 + 0.1247. Let w = y - j. Is w >= -2/5?
True
Let u(v) = 48*v + 4*v**2 - 2*v - 7818 + 7809. Let w be u(-12). Which is greater: w or 5?
w
Suppose 0 = -2*c + 4*c + 3*c. Suppose c*r + 24 = 4*r. Let a be 19/39 + r/9. Is 1 greater than a?
False
Let o(s) = -s**2 + s + 95. Let x be o(0). Let v = -11 + 11. Suppose 5*k = -2*t + x, -6*t + t + 4*k + 221 = v. Do 45 and t have the same value?
True
Let c = 2986342/101 - 29568. Let g = c + 11963/46864. Which is greater: g or 1?
1
Let m = 12 + -12. Suppose 12*q - 11*q - 3 = m. Suppose -q*g + 4 - 7 = 0. Which is smaller: g or 17/3?
g
Let m be (-2)/(2/(-3)) + (-160204)/2317. Is -65 at least as big as m?
True
Let i = -160 - -285. Let p = i - 126. Do p and -262 have the same value?
False
Let t be ((-9725)/36330 - (-1)/6)*-3. Let u = t + -3/173. Is 30/29 not equal to u?
True
Let r be 0 + 1 + (-14)/18. Let t(x) = -5*x - 27. Let s be t(-7). Let z(i) = 