 1?
u
Suppose -2*h = 3*h + 4*h. Which is smaller: 5/337 or h?
h
Let m = -11/126 + 877/1386. Is 1/74 at least as big as m?
False
Suppose 137*w = 151*w + 28. Let o(c) = c**2 - 5*c - 1. Let h be o(4). Is h >= w?
False
Suppose 0 = 3*w + 3*p, 3*p + 0*p = 3*w. Let z = 32455/13246 + -441/179. Which is smaller: z or w?
z
Let h = 5 - -12. Suppose 19 = -5*r + 464. Suppose -3*d = -5*y + r, 2*d - 9 = -y + 14. Which is greater: h or y?
y
Let h be (-88 - (-6 - -11))*1. Let k = h + 94. Is -1/15 < k?
True
Let y = 5 - 4.94. Let w = 0.12 - y. Let d = -4345 - -4339. Which is greater: w or d?
w
Suppose 0 = -g - 9 - 9. Let w be 4/g + (-176)/(-144) - -3. Suppose -103 - 53 = -w*x. Is 39 > x?
False
Let i(x) = -4*x - 22. Let s be i(-6). Let l(f) = f - 2. Let a be l(s). Which is smaller: a or -5/92?
-5/92
Let f = -2688 - -266104/99. Which is greater: 0 or f?
0
Let q = 1098 + -437. Let w = 664.59 - q. Let a = -0.59 + w. Which is greater: -0.06 or a?
a
Suppose 2*o + 14*o = -2*o - 738. Do o and -69 have the same value?
False
Let h(m) = 23*m - 138. Let o be h(6). Which is smaller: -1357 or o?
-1357
Let x(z) = -2*z**2 - 70*z + 110. Let q be x(-33). Is 483/2 less than q?
True
Let n be 320/52 + 0 + (-72)/468. Let f be (-9)/6*4/(-3). Suppose f*z = 6 - 0. Is n less than or equal to z?
False
Suppose 0 = 4*o - 3*q - 2*q, 4*o = -2*q + 28. Let n = -2965 - -2965. Suppose -3*s - 2 = x - o, n = -3*x + 5*s - 5. Which is bigger: x or 3/8?
3/8
Let w = -2258/5 - -452. Let j = -1316 + 760. Which is greater: j or w?
w
Suppose 0 = 2*x - 2, -273*x = -2*s - 274*x - 3851. Are -1928 and s equal?
False
Suppose 0 = d - 66 - 62. Let q be ((-6)/(-91))/(d/28). Which is smaller: q or 0?
0
Let f be (-826)/188 - (-30)/(-60). Which is smaller: f or -4?
f
Let f = 18110 - 18111. Let n = -155685/43 + 3621. Let z = -1213/2795 + n. Which is smaller: f or z?
f
Suppose 5*h + 8 = -3*g, 31*h + 7 = 29*h - 5*g. Is -3/1667 smaller than h?
False
Let t = -354 + 11684/33. Let f be 2/55*(110/75 + -2). Let n = f - t. Which is greater: n or -1?
n
Let d = 424 + -422. Suppose -31*t + d = -29*t. Is 50/29 less than or equal to t?
False
Let g(k) = k**2 + 3*k - 9. Suppose u - 9 = -6. Suppose 23 = -u*j - j - m, -2*j - 19 = 3*m. Let p be g(j). Are 10/7 and p unequal?
True
Let u be 15/(-20) - (-847)/4. Let r = u + -212. Let a be 4/16*(-2)/3. Is a > r?
True
Let l(m) = 36*m - m**3 - 79*m + 11*m**2 - 66 + 63*m. Let g be l(13). Is -143 at least as big as g?
True
Let k = -692751965/2863755576 - 38/1414899. Let j = k + -5/264. Which is smaller: -1 or j?
-1
Let c = -358 + 327. Let y = -512 + 472. Which is bigger: c or y?
c
Let h be 4 + -5 - 1/(-1). Let d = 437849 - 37216699/85. Let a = 28/5 - d. Is h < a?
True
Let v = -13 + -3. Let h be 47*5/(-1 + -4). Let s = -61 - h. Is s < v?
False
Let y = -46.81 - 0.19. Let s = y + -61. Let p = s + 107. Are 2/15 and p equal?
False
Let c = 140367 + -140365. Let y be (0 - -1)/(2/210). Is y <= c?
False
Let c(g) = 11*g**2 + 193*g + 48. Let k be c(-17). Is -0.1 < k?
False
Let i be (12/272)/(45/4*(-59)/(-118)). Which is smaller: i or 14?
i
Let r = 34366 + -30168. Which is smaller: 4200 or r?
r
Let v(i) = -114*i**3. Suppose 14 = 5*w + 5*u + 4, 5*u - 16 = w. Let d be v(w). Suppose j = 0, 0*j = 2*a - 4*j + d. Which is smaller: a or -58?
-58
Suppose 0 = -0*g - 3*g + 54. Suppose -4*a - 2*s = 6, 5*s - 3 = -a - g. Is -0.71 less than or equal to a?
True
Let o = 0.36 + -0.211. Let d = -0.049 + o. Which is bigger: d or -230?
d
Let p = 30665/21 - 1460. Let x = 26 + 0. Let n = x - 26. Which is smaller: n or p?
n
Let j be (-380)/(-15)*(2 + (-2)/4). Let x = j - 27. Suppose x*v + 12 = 12*v. Which is smaller: 4 or v?
4
Let l = -28 - -213. Let h = l - 184. Which is greater: -2/29 or h?
h
Suppose 2126*k - 174 = 2184*k. Is k smaller than -2/9231?
True
Let t(h) = -24*h - 107. Let u be t(3). Let w = u - -178. Which is smaller: 2 or w?
w
Let z be 378/(-105) - (-3865)/25. Which is smaller: z or 118?
118
Let j(z) = 79*z + 742. Let h be j(-9). Let y be 4/(-18) - (-60)/27. Suppose t - 4*t + 5*d + 80 = 0, 0 = -y*t - d + 62. Which is smaller: t or h?
t
Suppose -3*c + 1 + 11 = 4*q, -15 = c - 5*q. Let n be (0 + 2/3)/((-1)/3). Let x be 406/82 + n - (-9)/(-3). Is c equal to x?
False
Let a = -0.15 + -15.85. Let i = 0.936 + 14.064. Let o = i + a. Which is bigger: -1/10 or o?
-1/10
Suppose 8*o + 207975 = 33*o. Is o >= 8318?
True
Let f = -23314/35 + 666. Let s = -1/10 + f. Which is bigger: s or 1?
1
Let j(y) = -y. Let n be j(-3). Suppose -432*a - 7200 = -7632. Which is smaller: n or a?
a
Let m(u) be the first derivative of 2*u**2 + 29*u + 46. Let v be m(17). Which is bigger: 98 or v?
98
Let a = 413 - 408. Let o be 1015/(-15)*15/a. Is o equal to -202?
False
Let l(h) = -h**3 - 4*h**2 - 5*h - 6. Let i(f) = -f**3 - 6*f**2 - 4*f + 2. Let s be i(-5). Let u be l(s). Let y be 4 + 561/(-141)*1. Which is greater: u or y?
y
Let h(x) be the first derivative of -2*x**2 - 123*x - 280. Let m be h(-31). Which is smaller: -1/87 or m?
-1/87
Let m = -12.8 - -8.8. Which is smaller: m or -3.72?
m
Let n(m) = -m**2 + m + 11. Let i(r) = r**2 - 20*r + 22. Let h be i(19). Let v be n(h). Let w be ((-4)/14)/(v/(-35)). Is w >= 42/13?
False
Let u be (21/5 + -1)/(26/390). Suppose 1413 = -u*d + 357. Which is smaller: d or -14?
d
Let n = -1013 - -881. Let s = 359 + -488. Are s and n nonequal?
True
Let i be 3/(-9)*(-373437)/(-468)*-4. Let o = i + -1063. Is 1 greater than o?
True
Let f = -3875 + 3907. Let q = -1.82 + -0.18. Is q >= f?
False
Let z = -332 + 407.5. Let b = z + -75. Suppose -10*f = -15*f + 5. Is b less than f?
True
Let g be (26 + -25)*30/(-61660). Is -1 at least as big as g?
False
Suppose -12*d = -6*d - 3744. Let k = d - 623. Is -1/285 >= k?
False
Suppose -m = -w + 129, 460 = -4*m + 5*w - 62. Is m smaller than -110?
True
Suppose -5*g - 4*s = 39 + 14, 5*g = s - 68. Let t = -5401 + 5387. Is g greater than t?
True
Let s be 407/(-814) + 121/(-2). Let o(t) = -30*t. Let q be o(2). Do s and q have the same value?
False
Suppose b + b = -10, -5*b = -2*u + 33. Let w be (0/1)/(3/(12/u)). Suppose -4*k + 75 + 49 = -4*p, -k + 2*p + 30 = w. Which is smaller: k or 30?
30
Let o = 132 - 130.2. Let m = 19 + -17.3. Let y = o - m. Does y = -17?
False
Let i = 3664/7 + -260683/497. Which is smaller: i or 0?
i
Let i = 1 - 1. Let n be (-104)/18 + 6 + (-7846)/(-90). Let c = n - 10091/115. Which is smaller: i or c?
c
Suppose 5*y + 10 = -0*y - 2*p, 0 = 5*y + 5*p + 25. Let h(d) = d**2 - 5*d + 6. Let x be h(4). Let v be ((-1*2)/(-1))/x. Which is smaller: v or y?
y
Suppose -13*c + 90 + 170 = 0. Suppose -10*g + c*g - 110 = 0. Which is bigger: g or -0.4?
g
Let d be (-1074)/(-9) + (-6)/9. Let l = -118 + d. Suppose 5*u = 3*z + 4, 3*z - 1 - 5 = 0. Is l smaller than u?
True
Let d be (-5)/344*(-20 - 170/25). Let h be 1/(-2) + 165/258. Let w = h - d. Is 45 less than or equal to w?
False
Let i be 462/33 - 1380/(-6). Are 320 and i unequal?
True
Let v be (-6)/(-324)*12 - (-47)/(-9). Let n be ((-1 - v) + -2)/(3 + -97). Which is smaller: 0 or n?
n
Let k = 136643/4892647284 + -2/317457. Which is smaller: 1 or k?
k
Let k = -4 - -4.21. Let h = k - 0.34. Let w = -1.13 - h. Which is smaller: 6 or w?
w
Let g = 430.21 - 430.3. Is g greater than -106?
True
Let t be 20/16 - (-2249)/(-1716). Is 0 equal to t?
False
Let g = 901.469 + -963.43. Let h = -62 - g. Which is smaller: 0 or h?
h
Let k be ((-552)/(-20))/(3 + 68/(-20)). Let d = k - -72. Suppose 0 = -4*b + 4*c + 32, 0*c + c + 2 = 0. Which is smaller: b or d?
d
Let m = 838 + 198. Which is smaller: 1034 or m?
1034
Let t be (-36)/(-270) + (-413231)/195. Is -2120 != t?
True
Let y be 10/108435*-32532 - -3. Let w = 2334971/28916 + y. Which is bigger: 82 or w?
82
Let v = 8622 + -8834. Is 6 greater than or equal to v?
True
Let c be (40 + 2 - 7 - -5) + 1. Let s(z) = z**2 - 6*z - 3. Let v be s(14). Let u = -67 + v. Is c at most u?
True
Let a = -62/5 - -119/10. Suppose 0 = 2*n - 5*i - 31, 3*i + i = -n - 17. Suppose 2*l + 4*u + 14 = 0, l - 11 = n*l + 3*u. Are l and a equal?
False
Let k = 209 + -501. Suppose 13*l = 33*l + 17*l - 37. Are l and k non-equal?
True
Let x be 1/7 + (-1)/7. Suppose 4*s = -3*u + 14, -5*u - 2*s + 28 = -0*u. Let l be 1*-2 + u + -3. Is l <= x?
False
Let r = 70 + -65. Let p(y) = -2*y**2 + 10*y - 22. Let x be p(r). Which is smaller: x or -18?
x
Let b 